Formal Techniques for Safety-Critical Systems
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Communications in Computer and Information Science 1008
Herausgegeben:Artho, Cyrille
OElveczky, Peter Csaba
- 出版社：Springer, Berlin; Springer
- 出版年月：2019年 00月
- ISBN：9783030129873
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2019. 2019. xii