Pages that link to "Item:Q1200918"
From MaRDI portal
The following pages link to Using mappings to prove timing properties (Q1200918):
Displaying 10 items.
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)
- Hybrid diagrams (Q1853604) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- Efficiency of semisynchronous versus asynchronous networks (Q4311637) (← links)
- Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification (Q5047167) (← links)
- What good are digital clocks? (Q5204346) (← links)
