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