Pages that link to "Item:Q1333273"
From MaRDI portal
The following pages link to Temporal proof methodologies for timed transition systems (Q1333273):
Displayed 7 items.
- 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)
- Categorical foundations for randomly timed automata (Q1884891) (← links)