Search
Add filters:
Use filters to refine the search results.
Results 1-6 of 6 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
26-Feb-2003 | Suporte à análise e verificação de modelos RPOO. | SANTOS, José Amancio Macedo. |
18-Feb-2004 | Verificação de modelos em redes de petri orientadas a objetos. | RODRIGUES, Cássio Leonardo. |
19-Feb-2004 | Formalização e análise de padrões de projeto para agentes móveis. | LIMA, Emerson Ferreira de Araújo. |
30-Aug-2000 | Um sistema tutor multiagentes no domínio de redes de petri. | GÓIS, Gustavo Meneses. |
30-Aug-2005 | Modelagem de sistemas com restrições temporais em redes de petri orientadas a objetos. | GUERRA, Fabrício Vale de Azevedo. |
31-Aug-2005 | Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. | SILVA, Taciano de Morais. |