Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
Springer
ISBN 978-3-031-97536-3
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2025
74 s/w-Abbildungen, 50 Farbabbildungen.
In englischer Sprache
Umfang: xii, 314 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 978-3-031-97536-3
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Lecture Notes in Computer Science
Produktbeschreibung
Werner Damm’s work has spanned mathematical models of embedded systems, systems-of-systems, cyber physical systems, specification languages, hybrid discrete-continuous systems, formal verification methods, automatic synthesis from formal specifications, and analysis of real-time and safety-critical behavior, complemented by applied research with industrial partners in avionics, automotive, space, and medical systems. Throughout his career he has been motivated to render digitally controlled systems safe, societally acceptable, and beneficial. The contributions in this volume reflect how he has inspired many researchers and practitioners across disciplines who share this ambition.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com