Repositorio Bibliográfico Biocultural

Somos un mismo pueblo con culturas diversas

A Machine-Verified Theory of commuting strategies for product-line reliability analysis

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.

Detalles Bibliográficos
Autor:

Castro, Thiago Mael de
Tipo de recurso: tesis doctoral
Estado: Versión publicada
Fecha de publicación: 2019
País: Brasil
Institución: Universidade de Brasília (UnB)
Repositorio: Repositório Institucional da UnB
OAI Identifier: oai:repositorio.unb.br:10482/39241
Acceso en línea: https://repositorio.unb.br/handle/10482/39241
Access Level: acceso abierto
Palabra clave: Linha de produto de software
Análise de confiabilidade
Model checking
Verificação formal

Excepto si se señala otra cosa, la licencia del item se describe como Attribution-NonCommercial-NoDerivatives 4.0 International

Creative Commons

Más de este tema...

Comunalidades na liquidez : evidências e com

Comunalidades na liquidez : evidências e comportamento...

Conflictos y sensibilidades sociales en conte

Conflictos y sensibilidades sociales en contextos de so...

Desenvolvimento e validação do instrumento

Desenvolvimento e validação do instrumento Percepçã...