The following pages link to CMC (Q24351):
Displayed 31 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Updatable timed automata (Q1885906) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Characteristic Formulae for Timed Automata (Q2729632) (← links)
- (Q2754097) (← links)
- On characteristic formulae for Event-Recording Automata (Q2842241) (← links)
- (Q2848419) (← links)
- Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems (Q2851668) (← links)
- Decompositional Reasoning about the History of Parallel Processes (Q2894548) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games (Q3510829) (← links)
- Automatic Abstraction Refinement for Timed Automata (Q3510839) (← links)
- Symbolic Unfoldings for Networks of Timed Automata (Q3522917) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- TCTL Inevitability Analysis of Dense-Time Systems (Q3559794) (← links)
- Symbolic and Compositional Reachability for Timed Automata (Q3584959) (← links)
- (Q4417918) (← links)
- (Q4417927) (← links)
- (Q4472224) (← links)
- (Q4472225) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- The Power of Proofs: New Algorithms for Timed Automata Model Checking (Q5500559) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713513) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897964) (← links)