Buscas alternativas:
validation programming » application programming (Expandir a busca), application programing (Expandir a busca), simulation programming (Expandir a busca)
logic validation » model validation (Expandir a busca), to validation (Expandir a busca), of validation (Expandir a busca)
parallel logic » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel join (Expandir a busca)
validation programming » application programming (Expandir a busca), application programing (Expandir a busca), simulation programming (Expandir a busca)
logic validation » model validation (Expandir a busca), to validation (Expandir a busca), of validation (Expandir a busca)
parallel logic » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel join (Expandir a busca)
1
Assuntos:
“...Logic programming...”
Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica
Dissertação
2
Assuntos:
“...Validation and verification...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
3
Assuntos:
“...Programming languages (Electronic computers)...”
Simulação de uma arquitetura de computação própria ao paradigma orientado a notificações
Dissertação