文献

J-GLOBAL ID：201202258077707004   整理番号：12A1049268

Z注釈を用いたインタフェイスオートマトンの拡張

Extending Interface Automata with Z Notation

著者 (4件)： CAO Zining (National Key Lab. Sci. and Technol. on Avionics System Integration, Shanghai, CHN) ,  CAO Zining (Nanjing Univ. Aero. & Astro., Nanjing, CHN) ,  CAO Zining (Soochow Univ., Suzhou, CHN) ,  WANG Hui (National Key Lab. Sci. and Technol. on Avionics System Integration, Shanghai, CHN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7141  ページ： 359-367  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 注釈 ,  拡張