Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Communications in Computer and Information Science .694
Herausgegeben von Artho, Cyrille
OElveczky, Peter Csaba
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2017年 00月
- ISBN：9783319539454
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2017. 2017. xii