Formal methods for industrial critical systems : 16th international workshop, FMICS 2011 : Trento, Italy, August 29-30, 2011 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2011, Trento, Italy. (Lecture Notes in Computer Science ; 6959)
Formal methods for industrial critical systems : 16th international workshop, FMICS 2011 : Trento, Italy, August 29-30, 2011 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2011, Trento, Italy.
(Lecture Notes in Computer Science ; 6959)
国立国会図書館請求記号
M17-12-1242
国立国会図書館書誌ID
000011300981
資料種別
図書
著者
International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)ほか