e-ISSN: 2359-0793
Souza, Marcelo Lopes De Oliveira E
-
Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Vol. 1 Núm. 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
Resumen PDF (Português (Brasil))