Pages that link to "Item:Q5464747"
From MaRDI portal
The following pages link to Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464747):
Displayed 4 items.
- Automated verification and refinement for physical-layer protocols (Q539420) (← links)
- Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems (Q3510802) (← links)
- Timed Automata with Integer Resets: Language Inclusion and Expressiveness (Q3543291) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)