Critical Systems: Formal Methods and Automated Verification
Ein tiefgreifendes Buch, das die neuesten formalen Techniken zur Verifikation kritischer Systeme aus dem 21. Workshop zusammenführt und zugleich praktische Werkzeuge für die Industrie vorstellt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Critical Systems: Formal Methods and Automated Verification
SpringerLink DE
12-08-2026 16:34:18
