文献
J-GLOBAL ID:201502209080910270
整理番号:15A0780931
分解証明法を利用したリアクティブシステム仕様の強充足可能性判定器の提案
著者 (2件):
中村風太
(埼玉大 大学院理工学研究科)
,
吉浦紀晃
(埼玉大 大学院理工学研究科)
資料名:
情報処理学会研究報告(Web)
(IPSJ Technical Report (Web))
巻:
2015
号:
SE-187
ページ:
VOL.2015-SE-187,NO.22 (WEB ONLY)
発行年:
2015年03月05日
JST資料番号:
U0451A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)