Refinar Meus Resultados

Assunto 

1. Métodos Formais  (7)
2. Formal Methods  (7)
3. Model-Based Testing  (2)
4. Teste Baseado Em Modelos  (2)
5. Teste De Conformidade  (1)
6. Air Traffic Management Systems  (1)
7. Event-B  (1)
8. Gestão De Tabela De Capitalização  (1)
9. Piecewise Linear Functions  (1)
10. Temporal Logic  (1)
11. Restrições Probabilísticas  (1)
12. Pseudonós  (1)
13. Formal Verification  (1)
14. Semânticas De Valoração  (1)
15. Capitalization Table Management  (1)
16. Tratamento De Exceções  (1)
17. Classification  (1)
18. Inconsistencies Verification  (1)
19. Tráfego Aéreo (Automação  (1)
20. Teste De Software  (1)
21. Mais opções 

Autor/Criador 

1. Melo, A  (3)
2. Silva, P  (2)
3. Maruyama, N  (1)
4. Delamaro, M  (1)
5. Sousa, T  (1)
6. Santos, G  (1)
7. Machado-Lima, A  (1)
8. Pereira, D  (1)
9. Lima, A  (1)
10. Herculano, P  (1)
11. Preto, S  (1)
12. Aguchiku, F  (1)
13. Finger, M  (1)
14. Stevaux, R  (1)
15. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (3)
2. EPBC - Esc. Politécnica-Bib Central  (2)
3. EACH - Esc. Artes, Ciências e Humanidades  (1)
4. Mais opções 

Idioma 

1. Português  (5)
2. Inglês  (3)
3. Mais opções