Pages that link to "Item:Q1271471"
From MaRDI portal
The following pages link to Liveness in timed and untimed systems (Q1271471):
Displayed 15 items.
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- A note on fairness in I/O automata (Q671616) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Towards a real-time distributed computing model (Q1004326) (← links)
- Modularity for teams of I/O automata (Q1041819) (← links)
- Liveness in timed and untimed systems (Q1271471) (← links)
- Hybrid I/O automata. (Q1427865) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Trade-off results for connection management (Q1853581) (← links)
- Reconciling fault-tolerant distributed algorithms and real-time computing (Q2251157) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- Liveness in timed and untimed systems (Q4632424) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Testing timed automata (Q5940921) (← links)