Artho, Cyrille.

Overview

Works:	3 works in 5 publications in 1 languages

Titles

Formal techniques for safety-critical systemsthird International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers / by: (1998 :); Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service) (Electronic resources)

Formal techniques for safety-critical systems6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers / by: (1998 :); Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service) (Electronic resources)

Formal techniques for safety-critical systemssecond international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers / by: (1998 :); Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service) (Electronic resources)

Formal techniques for safety-critical systems5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: (1998 :); Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service) (Electronic resources)

Formal techniques for safety-critical systems4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (1998 :); Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service) (Electronic resources)

Subjects