The following pages link to Guoliang Zheng (Q201218):
Displaying 15 items.
- A quadratic-time DBM-based successor algorithm for checking timed automata (Q1044715) (← links)
- Checking MSC specifications for timing inconsistency (Q1599639) (← links)
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- Duration-constrained regular expressions (Q1882795) (← links)
- Logical object as a basis of knowledge based systems (Q1907065) (← links)
- Remove irrelevant atomic formulas for timed automaton model checking (Q2508377) (← links)
- Subject-related information collection method based on domain Ontology (Q3399599) (← links)
- (Q4435846) (← links)
- (Q4516885) (← links)
- (Q4516886) (← links)
- (Q4675625) (← links)
- (Q4787254) (← links)
- Partial Order Path Technique for Checking Parallel Timed Automata (Q5392301) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717500) (← links)
- A formal software development approach using refinement calculus (Q5942699) (← links)