リアクティブシステムの仕様記述言語とその記述操作の特徴付け

論文・著書情報

タイトル

和文:	リアクティブシステムの仕様記述言語とその記述操作の特徴付け
英文:

著者

和文:	山下健司, Vaithinathan Vanitha, 福澤公之, 米崎直樹.
英文:	山下健司, Vaithinathan Vanitha, 福澤公之, NAOKI YONEZAKI.

言語

Japanese

掲載誌/書名

和文:	電子情報通信学会ソフトウェアサイエンス研究会, 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
英文:	Technical report of IEICE. SS

巻, 号, ページ

Vol. 99 No. 547 pp. 41-48

出版年月

2000年1月

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文: