swMATH10130MaRDI QIDQ22098FDOQ22098
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-28717-6_15
(9)
- Monitor-based statistical model checking for weighted metric temporal logic
- Monitoring timed properties (revisited)
- A logic of behaviour in context
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- GEZEL
- MoMo
- APMC
- UPPAAL TIGA
This page was built for software: Casaal
