1
Assuntos:
“...Engenharia de Software...”
Adaptação de modelos em redes de petri coloridas.
Dissertação
2
3
Assuntos:
“...Verificação de Software...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
4
Assuntos:
“...Engenharia de Software...”
Mecanismos de interação para um modelo de redes de Petri orientado a objetos.
Dissertação