Search
Add filters:
Use filters to refine the search results.
Results 1-7 of 7 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
Mar-2008 | Modelagem e simulação de sistemas dinamicamente reconfiguráveis em granularidades diversas. | BRITO, Alisson Vasconcelos de. |
2-Oct-2008 | Uma extensão de rede de petri para modelagem de processos e controle de projetos. | FARIAS, Cecir Barbosa de Almeida. |
28-Nov-2008 | Uma técnica de análise de conformidade comportamental para sistemas distribuídos. | BEZERRA, Amanda Saraiva. |
16-May-2008 | DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. | ROCHA, Ana Karina de Oliveira. |
28-Feb-2008 | Abordagens para avaliação experimental de testes baseado em modelos de aplicações reativas. | NASCIMENTO, Laísa Helena Oliveira do. |
28-Mar-2008 | Um framework para auxílio na criação de diagnosticadores de falhas em sistemas. | PONTES, Renata França de. |
20-Jun-2008 | Gerador de vídeo pseudo-aleatório sintético na verificação funcional de circuitos decodificadores de vídeo MPEG-4. | SILVEIRA, George Sobral. |
Discover
Subject