1
Assuntos:
“...Ciência da Computação...”
Suporte à análise e verificação de modelos RPOO.
Dissertação
2
Assuntos:
“...Ciência da Computação...”
Verificação de modelos em redes de petri orientadas a objetos.
Dissertação
3
Assuntos:
“...Ciência da Computação...”
Formalização e análise de padrões de projeto para agentes móveis.
Dissertação
4
Assuntos:
“...Ciência da Computação...”
Um sistema tutor multiagentes no domínio de redes de petri.
Dissertação
5
Assuntos:
“...Ciência da Computação...”
Modelagem de sistemas com restrições temporais em redes de petri orientadas a objetos.
Dissertação
6
Assuntos:
“...Ciência da Computação...”
Estudo de equivalência de modelos markovianos construídos com os paradigmas redes de filas e redes de petri.
Dissertação
7
Assuntos:
“...Ciência da Computação...”
Um ambiente para edição e animação de sistemas de G-Nets.
Dissertação
8
Assuntos:
“...Ciência da Computação...”
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.
Dissertação