Buscas alternativas:
modelo limitado » modelo unificado (Expandir a busca), modelo orientado (Expandir a busca), modelo primitivo (Expandir a busca)
modelo limitado » modelo unificado (Expandir a busca), modelo orientado (Expandir a busca), modelo primitivo (Expandir a busca)
1
Assuntos:
“...Verificação de Modelo Limitado...”
Técnicas de contração de domínio de variáveis em verificação formal e detecção de vulnerabilidades de software usando programação por restrições e aritmética intervala...
Dissertação
2
Assuntos:
“...Verificação de modelos limitada...”
Revisão de crenças em ACTL usando verificação de modelos limitada
Dissertação
3
Assuntos:
“...Verificação de modelo limitado...”
A formalization of a startup finance transaction model using Alloy
Dissertação