Formal Techniques for Safety-Critical Systems
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Communications in Computer and Information Science .476
Herausgegeben von Artho, Cyrille
OElveczky, Peter Csaba
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2015年 04月
- ISBN：9783319175805
- 装丁：PAP
-
装丁について
- 版次：2015. 2015. x