Voltar aos Detalhes do Artigo 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 Baixar Baixar PDF