Formal Methods for Industrial Critical Systems

Ein Fachband aus dem FMICS‑Workshop 2008 in L’Aquila, der innovative Ansätze zur formalen Verifikation von sicherheitskritischen Systemen zusamme ...
For Industrial Critical
Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Methods for Industrial Critical Systems
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:27
Siehe Produktangebot

Allgemein

Marke
Darren Cofer
ISBN
Darren Cofer 3642032397
MPN
Darren Cofer biography

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916, Band 4916)
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916, Band 4916)
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Gnesi, Stefania: Formal Methods for Industrial Critical Systems
Gnesi, Stefania: Formal Methods for Industrial Critical Systems
Produkt anzeigen
Menü