Search
Add filters:
Use filters to refine the search results.
Results 1-7 of 7 (Search time: 0.003 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
27-Dec-2001 | Adaptação de modelos em redes de petri coloridas. | GORGÔNIO, Kyller Costa. |
28-Feb-2001 | Reúso de modelos em redes de petri coloridas. | LEMOS, Adriano José Pinheiro. |
28-Feb-2011 | Especificação formal da atividade de negociação em serviços semânticos. | DREBES, Rute Cardoso. |
28-Aug-2000 | Mecanismos de interação para um modelo de redes de Petri orientado a objetos. | MEDEIROS, Ana Karla Alves de. |
2-Jun-2006 | Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código. | OLIVEIRA, Elthon Allex da Silva. |
14-Dec-2018 | GIRL: uma linguagem de modelagem e verificação de requisitos invariantes. | BEZERRA, Marzina Vidal Negreiros. |
18-May-2007 | Personae: um modelo de mediação semântica para arquiteturas orientadas a serviços. | SILVA, Patrício de Alencar. |