Buscas alternativas:
invariantes indutivas » invariantes dinamicas (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"Invariantes indutivas"', tempo de busca: 0,23s

1

Assuntos: “...Invariantes indutivas...”

Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes

Publicado em 2017
Acessar documento
Dissertação