A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

Publication Information

Title

Japanese:
English:	A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

Author

Japanese:	鈴木将哉, 渡部卓雄.
English:	Masaya Suzuki, Takuo Watanabe.

Language

English

Journal/Book name

Japanese:
English:	Electronic Proceedings in Theoretical Computer Science

Volume, Number, Page

Vol. 168 pp. 48-58

Published date

Sept. 12, 2014

Publisher

Japanese:
English:

Conference name

Japanese:
English:	1st Workshop on Logics and Model-Checking for Self-* Systems (MOD* 2014)

Conference site

Japanese:
English:	Bertinoro

DOI