Opening book details…
Can I read Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings on EtoBox?
Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings by Manuel Núñez and Matthias Güdemann (eds.) is a computer science book available to read on EtoBox.
What is Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings about?
<p>This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.</p><p>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.</p>
Who reads Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Manuel Núñez and Matthias Güdemann (eds.)
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783319194578
- Category
- computer science
- Subjects
- Engineering, Mathematics, Language Learning
- Updated
- 2026-03-25
More by Manuel Núñez and Matthias Güdemann (eds.)
Browse all works by Manuel Núñez and Matthias Güdemann (eds.)
Similar books
- Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings — Adrien Champion, Rémi Delmas (auth.), Charles Pecheur, Michael Dierkes (2013)
- Formal Methods For Industrial Critical Systems: 15th International Workshop, Fmics 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (lecture Notes In Computer Science) — Alessio Ferrari, Daniele Grasso (auth.), Stefan Kowalewski, Marco Roveri (2010)
- Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings — Anne E. Haxthausen, Wendelin Serwe (2024)
- Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings — Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp; International Workshop on Formal Methods for Industrial Critical Systems; International Workshop on Automated Verification of Critical Systems (2016)
- Software Engineering And Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings (lecture Notes In Computer Science) — Peter Csaba Ölveczky, Gwen Salaün, Dimitra Giannakopoulou (2019)
- Autonomic and trusted computing : 5th international conference, ATC 2008, Oslo, Norway, June 23-25, 2008 ; proceedings — Erdal Cayirci (auth.), Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence T. Yang, Jianhua Ma (2008)