Formal Techniques for Safety-Critical Systems
Ein kompakter Sammelband aus dem FTSCS‑Workshop in Paris, der aktuelle Forschung zu formalen Methoden für sicherheitskritische Systeme präsentiert und praxisnahe Anwendungen sowie theoretische Fortschritte beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky
Galaxus.de
03-08-2026 09:19:57
Medimops DE 
SpringerLink DE 
