Casaal
From MaRDI portal
Cited in
(9)- GEZEL
- Monitoring timed properties (revisited)
- MoMo
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
- APMC
- A logic of behaviour in context
- UPPAAL TIGA
- Monitor-based statistical model checking for weighted metric temporal logic
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
This page was built for software: Casaal
