Buscas alternativas:
"time log" » "time lag" (Expandir a busca), "time law" (Expandir a busca)
"time logic" » "time lagic" (Expandir a busca), "time lawic" (Expandir a busca), "time logica" (Expandir a busca)
"time log" » "time lag" (Expandir a busca), "time law" (Expandir a busca)
"time logic" » "time lagic" (Expandir a busca), "time lawic" (Expandir a busca), "time logica" (Expandir a busca)
1
Assuntos:
“...CTL Time Logic...”
Verificação de modelos em redes de petri orientadas a objetos.
Dissertação
2
Assuntos:
“...Linear Time Logic - LTL...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
3
Assuntos:
“...Time Logic...”
Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets.
Tese