Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
Take It NP-Easy: Bounded Model Construction for Duration Calculus
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Time-Deterministic Hybrid Transition Systems
Hybrid Systems V
Information and Computation
Hi-index | 0.00 |