Formal methods for industrial critical systems : 18th international workshop, FMICS 2013 : Madrid, Spain, September 23-24, 2013 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2013, Madrid, Spain.
(Lecture Notes in Computer Science ; 8187)
国立国会図書館請求記号
M17-14-722
国立国会図書館書誌ID
024877467
資料種別
図書
著者
International Workshop on Formal Methods for Industrial Critical Systems (18th : 2013 : Madrid, Spain)ほか