Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)

Der Band fasst die Beiträge der 19. FMICS‑Konferenz in Florenz zusammen, beleuchtet aktuelle Forschung zu formalen Methoden für sicherheitskritische Systeme und zeigt praxisnahe Anwendungsbeispiele auf.

Teilen: