Pages that link to "Item:Q1856191"
From MaRDI portal
The following pages link to Real-time system = discrete system + clock variables (Q1856191):
Displaying 5 items.
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
