Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
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
19-08-2026 11:45:48
SpringerLink DE 
