Formal Techniques for Safety-Critical Systems
Der Band fasst die neuesten Erkenntnisse des FTSCS‑Workshops 2014 zusammen, wobei er sich auf innovative Methoden zur Modellierung und Verifikation sicherheitskritischer Systeme konzentriert. Durch praxisorientierte Fallstudien und theoretische Analysen bietet das Werk einen tiefen Einblick in die Entwicklung von zuverlässigen Soft- und Hardwarelösungen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Formal Techniques for Safety-Critical Systems (Communications in Computer and Information Science)
Medimops DE
27-04-2026 19:12:24
SpringerLink DE
Gesponsert
Galaxus.de
Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky
Galaxus.de
27-04-2026 18:19:25
