The following pages link to (Q2766627):
Displaying 5 items.
- New Results on Timed Specifications (Q2890330) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
- Design and Verification of Fault-Tolerant Components (Q3623817) (← links)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824) (← links)
