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)
based verification » and verification (Expandir a busca), user verification (Expandir a busca), face verification (Expandir a busca)
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)
based verification » and verification (Expandir a busca), user verification (Expandir a busca), face verification (Expandir a busca)
1
Assuntos:
“...Verification...”
Uncovering bugs in P4 programs with assertion based verification
Dissertação
3
4
Assuntos:
“...Constraint programming...”
Planejamento integrado da cadeia de suprimentos da indústria do petróleo baseado em agentes holônicos.
Tese
5
6
“... regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification...”
A formally founded framework for dynamic software architectures
Tese