Art
J-GLOBAL ID：201602272934834280
Reference number：16A0456203
大きな振る舞い変更にも適用可能な自己適応システムの動的モデル検査法
Author (3)：
,
,
Material：
Volume：
2016
Issue：
SE-191
Page：
VOL.2016-SE-191,NO.19 (WEB ONLY)
Publication year：
Mar. 07, 2016
JST Material Number：
U0451A
Document type：
Proceedings
Article type：
短報
Country of issue：
Japan (JPN)
Language：
JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
,
,
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
JST classification (1)：
JST classification
Category name(code) classified by JST.
Computer system development
Reference (8)：
-
Baier, C. and Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series), The MIT Press (2008).
-
Cortellessa, V. and Grassi, V.: A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-based Systems, Proceedings of the 10th International Conference on Component-based Software Engineering, CBSE’07, Springer-Verlag, pp. 140-156 (online), available from (http://dl.acm.org/citation.cfm?id=1770657.1770670)(2007).
-
Courcoubetis, C. and Yannakakis, M.: The Complexity of Probabilistic Verification, J. ACM, Vol. 42, No. 4, pp. 857-907 (online), DOI: 10.1145/210332.210339 (1995).
-
Filieri, A., Ghezzi, C. and Tamburrelli, G.: Run-time Efficient Probabilistic Model Checking, Proceedings of the 33rd International Conference on Software Engineering, ICSE ’11, New York, NY, USA, ACM, pp. 341-350 (online), DOI: 10.1145/1985793.1985840 (2011).
-
Go?eva-Popstojanova, K. and Trivedi, K. S.: Architecture-based Approach to Reliability Assessment of Software Systems, Perform. Eval., Vol. 45, No. 2-3, pp. 179-204 (online), DOI: 10.1016/S0166-5316(01)00034-7 (2001).
ｍore...
Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
,
,
Return to Previous Page
