Formal methods and hybrid real-time systems
de D. Bjørner, Jones, C. B., Jim Woodcock
Materias
Ediciones (2)
- Formal methods and hybrid real-time systems (2007)
Springer · inglés · ISBN 9783540752202
- Formal Methods and Hybrid Real-Time Systems (2007)
Springer London, Limited · inglés · ISBN 9783540752219
