Formal methods for industrial critical systems (FMICS'2014)

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FMICS (VerfasserIn)
Weitere Verfasser: Lang, Frédéric (HerausgeberIn), Flammini, Francesco (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam Elsevier 2016
Schriftenreihe:Science of computer programming volume 118 (1 March 2016)
Schlagworte:
Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung: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
Beschreibung:95 Seiten
Illustrationen