Formal Methods for Industrial Critical Systems

FMICS 2011: Trento, Italy

Gwen Salaün, Bernhard Schätz (Eds.): Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6959 Springer 2011, ISBN 978-3-642-24430-8
Contents

FMICS 2010: Antwerp, Belgium

Stefan Kowalewski, Marco Roveri (Eds.): Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Lecture Notes in Computer Science 6371 Springer 2010, ISBN 978-3-642-15897-1
Contents

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

Last update Fri May 25 08:14:14 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page