Critical Systems: Formal Methods and Automated Verification
Ein praxisorientierter Ratgeber, der die Prinzipien formaler Methoden für sicherheitskritische Systeme erklärt, Beispiele aus Industrieprojekten präsentiert und Techniken zur automatisierten Verifikation detailliert beschreibt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Critical Systems: Formal Methods and Automated Verification, Fachbücher von Cristina Seceleanu, Laure Petrucci
Galaxus.de
23-08-2026 22:08:15
Medimops DE
Gesponsert
SpringerLink DE
Critical Systems: Formal Methods and Automated Verification
SpringerLink DE
24-08-2026 13:01:55
