Buscas alternativas:
"program verification" » "formal verification" (Expandir a busca), "program vaccination" (Expandir a busca)
Mostrando 1 - 3 resultados de 3 para a busca '"program verification"', tempo de busca: 0,13s

1

Assuntos: “...Program Verification...”

Validação visual de programas Ladder baseada em modelos.

Publicado em 2011
Acessar documento
Dissertação

2

Assuntos: “...Program Verification...”

Validação visual de programas Ladder baseada em modelos.

Publicado em 2011
Acessar documento
Dissertação

3

Assuntos: “...[en] PROGRAM VERIFICATION...”

[en] TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC

Publicado em 2004
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese