1
Assuntos:
“...GHENeSys...”
Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri.
Tese
2
Assuntos:
“...GHENeSys...”
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Dissertação