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