e-ISSN: 2359-0793
Souza, Marcelo Lopes De Oliveira E
-
Proceeding Series of the Brazilian Society of Computational and Applied Mathematics v. 1 n. 1 (2013): DINCON 2013 - Artigos
Uma discussão sob o processo de verificação e validação de software crítico e seguro; definição de conceitos, limitações, normas, objetivos e técnicas aplicadas
Resumo PDF