Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2-Mar-2007 | Geração de casos de teste de interação para aplicações de celulares. | ANDRADE, Wilkerson de Lucena. |
23-Feb-2007 | Verificação distribuída de modelos: investigando o uso de grades computacionais. | BARBOSA, Paulo Eduardo e Silva. |
20-Apr-2007 | Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução. | BARBOSA, Ana Emília Victor. |
Discover
Subject