Der Artikel ist weiterhin als ^^OTHERCONDITION^^ verfügbar.
Autor: Manuel Nunez
ISBN-13: 9783319194578
Einband: Book w. online files/update
Seiten: 213
Format: 236x157x12 mm
Sprache: Englisch

Formal Methods for Industrial Critical Systems

.9128, Lecture Notes in Computer Science, Programming and Software Engineering
20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings
4
Applications.- Protocols.- Specification and analysis.- Verification.
3
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Autor: Manuel Nunez
ISBN-13:: 9783319194578
ISBN: 3319194577
Verlag: Springer, Berlin, Springer International Publishing, Springer
Seiten: 213
Sprache: Englisch
Auflage 2015
Sonstiges: Taschenbuch, 236x157x12 mm, 61 SW-Abb.