1
Assuntos:
“...Lógica Temporal...”
Especificando preferências sobre políticas em problemas de planejamento não determinísticos usando a lógica alpha-CTL
Dissertação
2
Assuntos:
“...LÓGICA TEMPORAL (COMPUTAÇÃO)...”
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Dissertação
3
Assuntos:
“...Lógica Temporal...”
Model checking requirements written in a controlled natural language
Dissertação
4
Assuntos:
“...Lógica temporal...”
Linguagens de consulta para banco de dados com suporte a preferências condicionais
Dissertação
5
Assuntos:
“...Lógica Temporal CTL...”
Verificação de modelos em redes de petri orientadas a objetos.
Dissertação
6
Assuntos:
“...Lógica temporal...”
Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.
Dissertação
7
Assuntos:
“...Lógica temporal...”
A formally founded framework for dynamic software architectures
Tese
8
Assuntos:
“...Lógica temporal de intervalos...”
Mineração de padrões temporais híbridos especificados na lógica temporal de intervalos
Dissertação
9
Assuntos:
“...[pt] LOGICA TEMPORAL...”
[pt] CONTRIBUIÇÃO AO ESTUDO DO CARÁTER TEMPORAL DA LÓGICA DE GUILHERME DE OCKHAM
Tese
10
Assuntos:
“...Lógica Temporal...”
Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets.
Tese