Dependability verification for contextual/runtime goal modelling

Sparad:
Bibliografiska uppgifter
Huvudupphov: Mendonça, Danilo Filgueira
Utgivningsdatum: 2015
Materialtyp: Master thesis
Språk: por
eng
Källa: Repositório Institucional da UnB
DOI: http://dx.doi.org/10.26512/2015.02.D.18158
Download full: http://repositorio.unb.br/handle/10482/18158
http://dx.doi.org/10.26512/2015.02.D.18158
Sammanfattning: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.