1/1
Formal Modeling and Verification of Cyber-Physical Systems
Autor/Editor: Drechsler, Rolf - Kühne, Ulrich
Año de edición: 2015
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computer System Implementation - Computer Hardware - Simulation and Modeling - Circuits and Systems - Control - Robotics - Mechatronics - Aerospace Technology and Astronautics
Tipo de documento: Monografía
Editor: Springer Fachmedien Wiesbaden
ISBN-e: 978-3-658-09994-7