Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers
Communications in Computer and Information Science .419
Herausgegeben von Artho, Cyrille
OElveczky, Peter Csaba
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2014年 04月
- ISBN：9783319054155
- 装丁：PAP
-
装丁について
- 版次：2014. 2014. x