A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults

論文・著書情報

タイトル

和文:
英文:	A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults

著者

和文:	永藤直行, 渡部卓雄.
英文:	Naoyuki Nagatou, Takuo Watanabe.

言語

English

掲載誌/書名

和文:
英文:	International Journal of Industrial Engineering: Theory, Applications and Practice

巻, 号, ページ

Vol. 22 No. 4 pp. 494-508

出版年月

2015年8月15日

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文:

公式リンク

DOI