Opening book details…
Can I read Formal Methods For Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (lecture Notes In Computer Science) on EtoBox?
Formal Methods For Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (lecture Notes In Computer Science) by Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.) is a computer science book available to read on EtoBox.
What is Formal Methods For Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (lecture Notes In Computer Science) about?
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also
Who reads Formal Methods For Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (lecture Notes In Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2009
- Language
- EN
- ISBN
- 9783642045707
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-25
Other editions & translations
More by Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Browse all works by Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Similar books
- Fm 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (lecture Notes In Computer Science) — Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (2009)
- Teaching Formal Methods: Second International Conference, Tfm 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (lecture Notes In Computer Science) — Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (2009)
- Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers (Lecture Notes in Computer Science, 5983) — Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (2010)
- Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : Revised Selected Papers — Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla (auth.), Marko van Eekelen, Olha Shkaravska (2010)
- 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)
- Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science (3771)) — David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (2005)
