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...

Estudo das alterações em uma análise fator

Estudo das alterações em uma análise fatorial explor...

EL PORVENIR, SAN MIGUEL CHIMALAPA, OAXACA: UN

EL PORVENIR, SAN MIGUEL CHIMALAPA, OAXACA: UNA FORMA H...

Avaliação das propriedades psicométricas d

Avaliação das propriedades psicométricas do instrume...