1
2
3
Assuntos:
“...Lógica linear...”
Especificação e verificação de protocolos de votação em lógica linear com focusing
Dissertação
4
Assuntos:
“...Lógica Linear...”
Análise de desempenho baseada em lógica linear e workflow net para escalonamento de sistemas de workflow
Dissertação
5
6
Assuntos:
“...Lógica linear...”
Modelagem e análise de video games usando as workflow nets e a lógica linear
Dissertação
7
8
Assuntos:
“...Lógica linear...”
Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais
Tese
9
Assuntos:
“...Lógica linear...”
Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
Dissertação
10
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
11
Assuntos:
“...Lógica Linear...”
Uma regra de sincronização baseada na lógica linear para prevenção de deadlock em workflow nets interorganizacionais
Dissertação
12
Assuntos:
“...Lógica Linear...”
Verificação de requisitos funcionais e não funcionais em Arquiteturas Orientadas a Serviços
Tese