A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)
2013
Science of Computer Programming
Elsevier Alpuente Frasnedo, M.; Joubert ., C.; Kowalewski, S.; Roveri, M. (2013). Formal methods for industrial critical systems, preface to the special section. Science of Computer Programming. 78 (7) :775-777. Abstract This special issue contains improved versions of selected papers from the workshops on Formal Methods for Industrial Critical Systems (FMICS) held in Eindhoven, The Netherlands, in November 2009 and in Antwerp, Belgium, in September 2010. These were, respectively, the 14th and
doi:10.1016/j.scico.2012.05.005
fatcat:wzp2l7pe5fdhhkv2wptuygureu