文献
J-GLOBAL ID:201602297003633987
整理番号:16A0584628
ランタイムでの定量的検証と感度解析による自己適応支援【Powered by NICT】
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
著者 (3件):
Filieri Antonio
(Reliable Software Syst. Group, Univ. of Stuttgart, Stuttgart, Germany)
,
Tamburrelli Giordano
(Vrije Univ. of Amsterdam, Amsterdam, Netherlands)
,
Ghezzi Carlo
(Dipt. di Elettron., Inf. e Bioingegneria, Politec. di Milano, Milan, Italy)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
42
号:
1
ページ:
75-99
発行年:
2016年
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)