- Record: found
- Abstract: not found
- Book Chapter: not found
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
Memory Efficient Data Structures for Explicit Verification of Timed Systems
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Book Chapter: not found
Timing assumptions and verification of finite-state concurrent systems
David Dill (1990)
- Record: found
- Abstract: not found
- Book Chapter: not found
On discretization of delays in timed automata and digital circuits
Eugene Asarin, Oded Maler, Amir Pnueli (1998)
- Record: found
- Abstract: not found
- Book Chapter: not found
Real-Time Model Checking Is Really Simple
Leslie Lamport (2005)