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
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
49,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
25.06.2015
Abbildungen
X, 106 illus., 5 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Herausgeber
Rolf Drechsler + weitereVerlag
Springer Fachmedien Wiesbaden GmbHSeitenzahl
313
Maße (L/B/H)
24/16,8/1,8 cm
Gewicht
678 g
Auflage
2015
Sprache
Englisch
ISBN
978-3-658-09993-0
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 hybrid systems and model checking, as well as applications in robotics and aerospace systems.
The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice