Formal Methods for Industrial Critical Systems
FMICS Home Page
FMICS 2009: Eindhoven, The Netherlands
María Alpuente, Byron Cook, Christophe Joubert (Eds.):
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings.
Lecture Notes in Computer Science 5825 Springer 2009, ISBN 978-3-642-04569-1
Contents 
FMICS 2008: L'Aquila, Italy
Darren D. Cofer, Alessandro Fantechi (Eds.):
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers.
Lecture Notes in Computer Science 5596 Springer 2009, ISBN 978-3-642-03239-4
Contents
FMICS 2007: Berlin, Germany
Stefan Leue, Pedro Merino (Eds.):
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers.
Lecture Notes in Computer Science 4916 Springer 2008, ISBN 978-3-540-79706-7
Contents
FMICS/PDMC 2006: Bonn, Germany
Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (Eds.):
Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4346 Springer 2007, ISBN 978-3-540-70951-0
Contents
FMICS 2005: Lisbon, Portugal
FMICS 2004: Linz, Austria
ENTCS 133
FMICS 2003: Trondheim, Norway
ENTCS 80
Copyright © Fri Dec 4 20:13:56 2009
by Michael Ley (ley@uni-trier.de)
