swMATH10079MaRDI QIDQ22048FDOQ22048
Author name not available (Why is that?)
Official website: http://www.jucs.org/jucs_7_1/raven_real_time_analyzing/Ruf_J.pdf
Cited In (8)
- Symbolic verification and analysis of discrete timed systems
- B4Free
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- LusSy
- Formal verification of discrete real-time systems
- Correctness of efficient real-time model checking
- RAVEN: Real-time analyzing and verification environment
- Title not available (Why is that?)
This page was built for software: RAVEN
