Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
51.36 EUR
Ein kompakter Sammelband aus dem internationalen Workshop FMICS 2015 in Oslo, der aktuelle Forschung zu formalen Methoden für sicherheitskritische Industrieanwendungen präsentiert und praxisnahe Fallstudien sowie theoretische Fortschritte dokumentiert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Medimops DE
14-05-2026 17:10:28
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods for Industrial Critical Systems, Fachbücher von Manuel Nunez, Matthias Güdemann
Galaxus.de
14-05-2026 03:14:05
