Buscas alternativas:
satisfiability models » satisfiability modulo (Expandir a busca), satisfiability problems (Expandir a busca), suitability models (Expandir a busca)
models theory » model theory (Expandir a busca), modern theory (Expandir a busca), mode theory (Expandir a busca)
Mostrando 1 - 3 resultados de 3 para a busca 'satisfiability models theory', tempo de busca: 0,08s

1

Assuntos: “...Satisfiability...”

Sobre o conceito semântico de satisfação

Publicado em 2015
Acessar documento
Tese

2

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Publicado em 2015
Acessar documento
Dissertação

3

“... is concerned with the automated analysis of a particular kind of such social models, namely, those based...”

Verification of behaviourist multi-agent systems by means of formally guided simulations

Publicado em 2011
Acessar documento
Tese