Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings : Jun 2015, Oslo, Norway.
(Lecture Notes in Computer Science ; 9128)
国立国会図書館請求記号
M17-16-388
国立国会図書館書誌ID
026547569
資料種別
図書
著者
International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway)ほか
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, ...