Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Drechsler, Rolf (Editor ), Kühne, Ulrich (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015.
Edición:1st ed. 2015.
Temas:
Computer systems.
Computers.
Computer simulation.
Electronic circuits.
Control engineering.
Robotics.
Automation.
Aerospace engineering.
Astronautics.
Computer System Implementation.
Computer Hardware.
Computer Modelling.
Electronic Circuits and Systems.
Control, Robotics, Automation.
Aerospace Technology and Astronautics.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares