Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Howar, Falk (Editor, http://id.loc.gov/vocabulary/relators/edt), Barnat, Jiří (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Programming and Software Engineering ; 11119
• Subjects: Programming languages (Electronic computers).; Software engineering.; Computers.; Computer simulation.; Computer organization.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Theory of Computation.; Simulation and Modeling.; The Computing Profession.; Computer Systems Organization and Communication Networks.

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book als...