Languages
FTSCS (Workshop) (2018 :)
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
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)