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
Galaxus.de
Formal Methods for Industrial Critical Systems, Fachbücher von Manuel Nunez, Matthias Güdemann
Galaxus.de
02-07-2026 11:08:48
