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, Boston, London 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:"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." - Vorwort
Der Workshop FMICS wurde im Rahmen der Veranstaltung FLORENCE 2014 abgehalten. Weitere Veranstaltungen im Rahmen von FLORENCE 2014: International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), International Conference on Quantitative Evaluation of SysTems (QEST 2014), International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014), European Workshop on Performance Engineering (EPEW 2014)
Literaturangaben
Beschreibung:95 Seiten
Illustrationen