ECDAR
From MaRDI portal
Software:15363
swMATH2824MaRDI QIDQ15363FDOQ15363
Author name not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- Robust specification of real time components
- Revisiting timed specification theories: a linear-time perspective
- Refinement checking on parametric modal transition systems
- 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
