Somos un mismo pueblo con culturas diversas
Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.
| Autor: | |
|---|---|
| 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
