The following pages link to ECDAR (Q15363):
Displaying 8 items.
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Robust Specification of Real Time Components (Q3172848) (← links)
- (Q3384887) (← links)
- Revisiting Timed Specification Theories: A Linear-Time Perspective (Q4649387) (← links)
- MoTraS: A Tool for Modal Transition Systems and Their Extensions (Q5166714) (← links)