The following pages link to FM 2005: Formal Methods (Q5716871):
Displaying 4 items.
- PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
- Almost ASAP semantics: from timed models to timed implementations (Q2576589) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
- Hybrid Systems: Computation and Control (Q5307930) (← links)