Image for Formal methods for industrial critical systems

Formal methods for industrial critical systems - 5825 (2009)

Alpuente, Maria(Edited by)Cook, Byron(Edited by)Joubert, Christophe(Edited by)
Part of the Lecture Notes in Computer Science series
See all formats and editions

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 together with 4 invited papers and 6 posters were carefully reviewed and selected from 25 submissions.

Read More
Special order line: only available to educational & business accounts. Sign In
£44.99
Product Details
Springer
3642045707 / 9783642045707
eBook (Adobe Pdf)
005.131
19/10/2009
Germany
English
212 pages
Copy: 10%; print: 10%
Selected conference papers Description based on CIP data; resource not viewed.