文献
J-GLOBAL ID：201902209774538785   整理番号：19S0583098

A model-checking based approach to robustness analysis of procedures under human-made faults

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

Nagatou, Naoyuki について

(Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology)

Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology について

, 
Nagatou, Naoyuki

Nagatou, Naoyuki について

(PRESYSTEMS Inc.)

PRESYSTEMS Inc. について

, 
Watanabe, Takuo

Watanabe, Takuo について

(Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology)

Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology について


資料名：
Lecture Notes in Business Information Processing

Lecture Notes in Business Information Processing について


巻： 181 LNBIP  ページ： 117-131  発行年： 2014年 
JST資料番号： SCOPUS  ISSN： 1865-1348  ISBN： 9783319082219 
発行国： ドイツ (DEU)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM