A goal-oriented approach to support the assurance process of self-adaptive systems under uncertainty
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Contextual Goal Modelling
-
Self-adaptive systems
-
goal modeling
-
goal oriented dependability analysis
-
markov decision process
-
non-determinism
-
parametric model checking
-
self-adaptive systems
-
symbolic model checking
-
uncertainty
Identidade
identificador BrCris
-
89cdd8c29c84bf3265f9a9257da1a752
identificador Capes
identificador Oasisbr
-
UNB_cbe19137f11dfcf50f2b093776a5c06e