REDLIB
From MaRDI portal
Software:32987
No author found.
Related Items (6)
A survey of timed automata for the development of real-time systems ⋮ Coarse abstractions make Zeno behaviours difficult to detect ⋮ A menagerie of timed automata ⋮ Coarse Abstractions Make Zeno Behaviours Difficult to Detect ⋮ The Power of Proofs: New Algorithms for Timed Automata Model Checking ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?
This page was built for software: REDLIB
