文献
J-GLOBAL ID:201502205609878160
整理番号:15A0780932
リアクティブシステム仕様の外部環境制約式に関する研究
著者 (2件):
深谷悠一
(埼玉大 大学院理工学研究科)
,
吉浦紀晃
(埼玉大 大学院理工学研究科)
資料名:
情報処理学会研究報告(Web)
(IPSJ Technical Report (Web))
巻:
2015
号:
SE-187
ページ:
VOL.2015-SE-187,NO.23 (WEB ONLY)
発行年:
2015年03月05日
JST資料番号:
U0451A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)