ECDAR
From MaRDI portal
Cited in
(12)- Motras
- PyEcdar
- MIO Workbench
- Refinement checking on parametric modal transition systems
- UPPAAL TIGA
- New results on timed specifications
- Robust specification of real time components
- scientific article; zbMATH DE number 7447740 (Why is no real title available?)
- Compositional probabilistic verification through multi-objective model checking
- Robust synthesis for real-time systems
- Revisiting timed specification theories: a linear-time perspective
- MoTraS: a tool for modal transition systems and their extensions
This page was built for software: ECDAR
