文献
J-GLOBAL ID:201702219970982200
整理番号:17A1713647
RINGA:実行時における自己適応ソフトウェアのための有限状態機械の設計と検証【Powered by NICT】
RINGA: Design and verification of finite state machine for self-adaptive software at runtime
著者 (5件):
Lee Euijong
(Department of Computer Science and Engineering, Korea University, Seoul, Republic of Korea)
,
Kim Young-Gab
(Department of Computer and Information Security, Sejong University, Seoul, Republic of Korea)
,
Seo Young-Duk
(Department of Computer Science and Engineering, Korea University, Seoul, Republic of Korea)
,
Seol Kwangsoo
(Department of Computer Science and Engineering, Korea University, Seoul, Republic of Korea)
,
Baik Doo-Kwon
(Department of Computer Science and Engineering, Korea University, Seoul, Republic of Korea)
資料名:
Information and Software Technology
(Information and Software Technology)
巻:
93
ページ:
200-222
発行年:
2018年
JST資料番号:
B0445B
ISSN:
0950-5849
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)