語系
FTSCS (Workshop) (2018 :)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)