Search
Add filters:
Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.002 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. |
Discover
Subject
- 1 Diagnosticadores de sistemas
- 1 Digital Videos
- 1 Distributed systems
- 1 Engenharia de software
- 1 Estado global - sistemas distribu...
- 1 Falhas em sistemas - diagnosticad...
- 1 Functional Verification - Circuits
- 1 Functional verification - methodo...
- 1 Gerador de Vídeo
- 1 IP-Cores - Verificação Funcional
- < previous next >