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)
Colecciones
Not viewed