Formal Modeling and Verification of Cyber-Physical Systems
Elemento
- Título
- Formal Modeling and Verification of Cyber-Physical Systems
- Autores
- Drechsler
- Año Publicación
- 2015
- Editorial
- Springer Fachmedien Wiesbaden
- ISBN
- 978-3-658-09993-0
- eBook
- 978-3-658-09994-7
- Colecciones
- Springer