Pages that link to "Item:Q2842588"
From MaRDI portal
The following pages link to Predicate abstraction for dense real-time systems (Q2842588):
Displaying 6 items.
- Abstractions for hybrid systems (Q2475634) (← links)
- Predicate diagrams for the verification of real-time systems (Q2642985) (← links)
- Predicate abstraction for dense real-time systems (Q2842588) (← links)
- Bounded model checking for timed automata (Q2842869) (← links)
- Predicate diagrams for the verification of real-time systems (Q2863860) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464759) (← links)