CafeOBJによる分散システムの形式仕様作成法

Publication Information

Title

Japanese:	CafeOBJによる分散システムの形式仕様作成法
English:	A Method for Creating and Verifying Formal Specifications of Distributed Systems in CafeOBJ

Author

Japanese:	飯田周作, 二木厚吉, 渡部卓雄.
English:	Shusaku Iida, Kokichi Futatsugi, Takuo Watanabe.

Language

Japanese

Journal/Book name

Japanese:	コンピュータソフトウェア
English:	Computer Software

Volume, Number, Page

Vol. 15 No. 1 pp. 34-49

Published date

Jan. 16, 1998

Publisher

Japanese:	日本ソフトウェア科学会
English:	JSSST

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI