Artho, Cyrille.

Overview

Works:	0 works in 5 publications in 1 languages

Titles

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

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

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

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

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

Subjects