Formal methods for industrial critical systems (FMICS'2014) - Lang, Frédéric; Flammini, Francesco (Elsevier, 2016)
Aus dem Vorwort: "This special issue contains improved and extended versions of selected papers from the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), which was held in Florence (Italy) in September 2014." - Literaturangaben