Formal Methods for Industrial Critical Systems
FMICS 2013: Madrid, Spain
Charles Pecheur, Michael Dierkes (Eds.): Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8187 ISBN 978-3-642-41009-3 [ contents ]
FMICS 2012: Paris, France
- Mariëlle Stoelinga, Ralf Pinger (Eds.): Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7437 ISBN 978-3-642-32468-0 [ contents ]
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. Springer 2011 Lecture Notes in Computer Science 6959 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. Springer 2010 Lecture Notes in Computer Science 6371 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. Springer 2009 Lecture Notes in Computer Science 5825 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. Springer 2009 Lecture Notes in Computer Science 5596 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. Springer 2008 Lecture Notes in Computer Science 4916 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. Springer 2007 Lecture Notes in Computer Science 4346 ISBN 978-3-540-70951-0 [ contents ]
FMICS 2005: Lisbon, Portugal
FMICS 2004: Linz, Austria
FMICS 2003: Trondheim, Norway
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team