The following pages link to (Q4654725):
Displaying 6 items.
- Reachability results for timed automata with unbounded data structures (Q707597) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Automatic verification of combined specifications: an overview (Q2873685) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- A refinement-based formal development of cyber-physical railway signalling systems (Q6610255) (← links)