Pages that link to "Item:Q4982129"
From MaRDI portal
The following pages link to Model-checking Timed Temporal Logics (Q4982129):
Displaying 6 items.
- Better abstractions for timed automata (Q342707) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Algorithms for monitoring real-time properties (Q1647773) (← links)
- Temporal reasoning through automatic translation of tock-CSP into timed automata (Q2154047) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- A menagerie of timed automata (Q5176174) (← links)
