ECDAR
From MaRDI portal
Software:15363
swMATH2824MaRDI QIDQ15363FDOQ15363
Author name not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- New Results on Timed Specifications
- Refinement checking on parametric modal transition systems
- Compositional probabilistic verification through multi-objective model checking
- MoTraS: A Tool for Modal Transition Systems and Their Extensions
- Robust Specification of Real Time Components
- Revisiting Timed Specification Theories: A Linear-Time Perspective
- Robust synthesis for real-time systems
This page was built for software: ECDAR
