文献
J-GLOBAL ID:201602272934834280
整理番号:16A0456203
大きな振る舞い変更にも適用可能な自己適応システムの動的モデル検査法
著者 (3件):
小川賢人
(大阪大 大学院情報科学研究科)
,
中川博之
(大阪大 大学院情報科学研究科)
,
土屋達弘
(大阪大 大学院情報科学研究科)
資料名:
情報処理学会研究報告(Web)
(IPSJ Technical Report (Web))
巻:
2016
号:
SE-191
ページ:
VOL.2016-SE-191,NO.19 (WEB ONLY)
発行年:
2016年03月07日
JST資料番号:
U0451A
資料種別:
会議録 (C)
記事区分:
短報
発行国:
日本 (JPN)
言語:
日本語 (JA)