ECDAR
From MaRDI portal
Software:15363
No author found.
Related Items (8)
New Results on Timed Specifications ⋮ Robust Specification of Real Time Components ⋮ Compositional probabilistic verification through multi-objective model checking ⋮ Robust synthesis for real-time systems ⋮ Unnamed Item ⋮ Revisiting Timed Specification Theories: A Linear-Time Perspective ⋮ MoTraS: A Tool for Modal Transition Systems and Their Extensions ⋮ Refinement checking on parametric modal transition systems
This page was built for software: ECDAR
