The following pages link to MOTOR (Q15524):
Displaying 4 items.
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897957) (← links)