文献
J-GLOBAL ID:201502291263180414
整理番号:15A0585792
自己適応システムにおける動的検証法の適用範囲向上に向けて
Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems
著者 (3件):
小川賢人
(大阪大 大学院情報科学研究科)
,
中川博之
(大阪大 大学院情報科学研究科)
,
土屋達弘
(大阪大 大学院情報科学研究科)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
114
号:
501(KBSE2014 52-64)
ページ:
65-70
発行年:
2015年02月26日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)