文献
J-GLOBAL ID：201902209087006749   整理番号：19S0361474

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (4件)：
Ogawa, Hideto

Ogawa, Hideto について

(Center for Technology Innovation-Systems Engineering, Hitachi, Ltd., Research and Development Group)

Center for Technology Innovation-Systems Engineering, Hitachi, Ltd., Research and Development Group について

, 
Ichii, Makoto

Ichii, Makoto について

(Center for Technology Innovation-Systems Engineering, Hitachi, Ltd., Research and Development Group)

Center for Technology Innovation-Systems Engineering, Hitachi, Ltd., Research and Development Group について

, 
Kumeno, Fumihiro

Kumeno, Fumihiro について

(Department of Computer and Information Engineering, Nippon Institute of Technology)

Department of Computer and Information Engineering, Nippon Institute of Technology について

, 
Aoki, Toshiaki

Aoki, Toshiaki について

(School of Information Science, Japan Advanced Institute of Science and Technology)

School of Information Science, Japan Advanced Institute of Science and Technology について


資料名：
Proceedings - International Computer Software and Applications Conference

Proceedings - International Computer Software and Applications Conference について


巻： 2  ページ： 95-104  発行年： 2015年 
JST資料番号： SCOPUS  ISSN： 0730-3157  ISBN： 9781467365635  CODEN： PSICD 
発行国： アメリカ (USA)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM