14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Invited Papers > 1-8
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Invited Papers > 9-25
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Invited Papers > 26-34
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Invited Papers > 35-36