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

論文・著書情報

タイトル

和文:
英文:	A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

著者

和文:	鈴木将哉, 渡部卓雄.
英文:	Masaya Suzuki, Takuo Watanabe.

言語

English

掲載誌/書名

和文:
英文:	Electronic Proceedings in Theoretical Computer Science

巻, 号, ページ

Vol. 168 pp. 48-58

出版年月

2014年9月12日

出版者

和文:
英文:

会議名称

和文:
英文:	1st Workshop on Logics and Model-Checking for Self-* Systems (MOD* 2014)

開催地

和文:
英文:	Bertinoro

DOI