Buscas alternativas:
verification constraints » elimination constraints (Expandir a busca), participation constraints (Expandir a busca), activation constraints (Expandir a busca)
constraints programming » constraint programming (Expandir a busca), constrained programming (Expandir a busca), concurrent programming (Expandir a busca)
user verification » and verification (Expandir a busca), _ verification (Expandir a busca), code verification (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'user verification constraints programming', tempo de busca: 0,23s

1

Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking

Publicado em 2015
Acessar documento
Tese