可能な限り仕様を満たすリアクティブシステムの合成

論文・著書情報

タイトル

和文:	可能な限り仕様を満たすリアクティブシステムの合成
英文:

著者

和文:	冨田尭, 上野篤史, 萩原茂樹, 島川昌也, 米崎直樹.
英文:	Takashi Tomita, Atsushi Ueno, Shigeki Hagihara, Masaya Shimakawa, NAOKI YONEZAKI.

言語

Japanese

掲載誌/書名

和文:	ソフトウェア工学の基礎XXII, 日本ソフトウェア科学会 FOSE 2015
英文:

巻, 号, ページ

pp. 77-86

出版年月

2015年11月

出版者

和文:	近代科学社
英文:

会議名称

和文:	第22回ソフトウェア工学の基礎ワークショップ FOSE 2015
英文:

開催地

和文:
英文: