1
Assuntos:
“...CTL Time Logic...”
Verificação de modelos em redes de petri orientadas a objetos.
Dissertação
2
Assuntos:
“...Time Logic...”
Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets.
Tese
3
Assuntos:
“...Linear Time Logic - LTL...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação