FORMS/FORMAT 2010

FORMS/FORMAT 2010

formal methods for automation and safety in railway and automotive systems

2/5
最初に出版された
2011
パブリッシャー
Springer
語学
English

書籍

類似の本