The following pages link to (Q4255572):
Displaying 5 items.
- Symbolic verification and analysis of discrete timed systems (Q1425003) (← links)
- Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) (← links)
- Symbolic Simulation-Checking of Dense-Time Automata (Q3510852) (← links)
- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment (Q3624601) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464768) (← links)