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

Publication Information

Title

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

Author

Japanese:	永藤直行, 渡部卓雄.
English:	Naoyuki Nagatou, Takuo Watanabe.

Language

English

Journal/Book name

Japanese:
English:	International Journal of Industrial Engineering: Theory, Applications and Practice

Volume, Number, Page

Vol. 22 No. 4 pp. 494-508

Published date

Aug. 15, 2015

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

Official URL

DOI