Formal Modeling and Verification of Cyber-Physical Systems
Elemento
- Título (dcterms:title)
- Formal Modeling and Verification of Cyber-Physical Systems
- Autores (dcterms:creator)
- Drechsler
- Año Publicación (dcterms:date)
- 2015
- Editorial (dcterms:publisher)
- Springer Fachmedien Wiesbaden
- ISBN (bibo:isbn)
- 978-3-658-09993-0
- eBook (bibo:isbn13)
- 978-3-658-09994-7
- PDF (bibo:uri)
- https://cutt.ly/0lTg7sT
- Colecciones
- Springer