Cover Image

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

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...

Full description

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)
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.
Online Access:https://doi.org/10.1007/978-3-030-00244-2

Internet

https://doi.org/10.1007/978-3-030-00244-2

Similar Items