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.; SpringerLink (Online service); Olveczky, Peter Csaba.
(Electronic resources)