Formal Modeling and Verification of Cyber-Physical Systems
53.49 EUR
Ein kompakter Leitfaden der ersten Internationalen Sommerschule in Bremen, der die neuesten Techniken der formalen Modellierung und Verifikation von Cyber‑Physical Systems präsentiert und praxisnahe Fallstudien aus dem digitalen Systemdesign liefert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Formal Modeling and Verification of Cyber-Physical Systems
SpringerLink DE
19-05-2026 09:22:33
Gesponsert
Galaxus.de
Formal Modeling and Verification of Cyber-Physical Systems, Fachbücher von Ulrich Kühne, Rolf Drechsler
Galaxus.de
18-05-2026 21:55:38
Ähnliche Produkte
Handbook of Formal Languages
246.09 EUR
