1
2
3
4
5
Assuntos:
“...Lógica Temporal CTL...”
Verificação de modelos em redes de petri orientadas a objetos.
Dissertação
6
Assuntos:
“...CTL...”
Model checking requirements written in a controlled natural language
Dissertação
7
Assuntos:
“...CTL...”
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.
Dissertação
8
Assuntos:
“...Lectina do tipo C (CTL)...”
Clonagem molecular de genes de Palythoa caribaeorum (Duchassaing & Michelotti, 1860) relacionados à imunidade inata
Dissertação
9
Assuntos:
“...Técnica de Verificação de Modelos - CTL...”
Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
Dissertação
10
Assuntos:
“...Collaborative and Transformative Learning (CTL)...”
O clube de inglês de um colégio militar como uma prática colaborativa e transformadora: percepções dos participantes frente a uma perspectiva sociocultural
Dissertação