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:	Lecture Notes in Business Information Processing, LNBIP

Volume, Number, Page

Vol. 181 pp. 117-131

Published date

July 3, 2014

Publisher

Japanese:
English:	Springer-Verlag

Conference name

Japanese:
English:	2nd Asia Pacific Conference on Business Process Management (APBPM 2014)

Conference site

Japanese:	Brisbane
English:

DOI