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

Criação de indice referencial e redução d

Criação de indice referencial e redução dos testes ...

Estratégias comutativas para análise de con

Estratégias comutativas para análise de confiabilidad...

The formation for SUS, opening new trails for

The formation for SUS, opening new trails for the produ...