Search
Add filters:
Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.019 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
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. |