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