Formal Methods for Industrial Critical Systems - 20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings

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.

Inhaltsverzeichnis

Applications.- Protocols.- Specification and analysis.- Verification.

Zusammenfassung

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.

Produktdetails

• Mitarbeit: Güdemann (Herausgeber), Güdemann (Herausgeber), Matthias Güdemann (Herausgeber), Manuel Nunez (Herausgeber), Manue Núñez (Herausgeber), Manuel Núñez (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 01.01.2015
• EAN: 9783319194578
• ISBN: 978-3-31-919457-8
• Seiten: 213
• Abmessung: 157 mm x 236 mm x 12 mm
• Gewicht: 359 g
• Illustration: XVI, 213 p. 61 illus.
• Serien: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Programmiersprachen; C, Software Engineering, Usability, Theoretische Informatik, Wissensbasierte Systeme, Expertensysteme, computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Expert systems / knowledge-based systems, Mathematical Logic and Formal Languages, Computer architecture & logic design, Compilers & interpreters, Programming languages (Electronic computers), Special purpose computers, Special Purpose and Application-Based Systems, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters