20th International Workshop on Formal Methods for Industrial Critical
Systems
Oslo, Norway, June 22nd - 23rd 2015
Oslo, Norway, June 22nd - 23rd 2015
Sections
Previous Editions of FMICS
- FMICS 2014 - Florence, Italy
- FMICS 2013 - Madrid, Spain
- FMICS 2012 - Paris, France
- FMICS 2011 - Trento, Italy
- FMICS 2010 - Antwerp, Belgium
- older editions (on ERCIM web page)