Pages that link to "Item:Q1333273"
From MaRDI portal
The following pages link to Temporal proof methodologies for timed transition systems (Q1333273):
Displaying 11 items.
- Learning of event-recording automata (Q604474) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- An embedding of timed transition systems in \(HOL\) (Q1309256) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- Verification, refinement and scheduling of real-time programs (Q1589590) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Slime mould games based on rough set theory (Q1797883) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
