Cover Image

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The co...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Larsen, Kim Guldstrand. (Editor, http://id.loc.gov/vocabulary/relators/edt), Willemse, Tim. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Programming and Software Engineering ; 11687
Subjects:
Programming languages (Electronic computers).
Software engineering.
Computers.
Artificial intelligence.
Computer simulation.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Theory of Computation.
Artificial Intelligence.
Simulation and Modeling.
Online Access:https://doi.org/10.1007/978-3-030-27008-7

Internet

https://doi.org/10.1007/978-3-030-27008-7

Similar Items