Formal Methods for Industrial Critical Systems
Ein Fachband aus dem FMICS‑Workshop 2008 in L’Aquila, der neueste Forschung zu formalen Methoden für sicherheitskritische Systeme zusammenfasst und praxisnahe Anwendungen sowie theoretische Fortschritte beleuchtet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE 
