autores
- Alves-Serodio, Carlos M.J.
- Santos, Jorge Gomes
- Vale, Zita
- Serdio, Carlos
- Carlos Ramos
The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems
Capítulo de livro
- Visão geral
- Identidade
- Ver Todos
Visão geral
data de publicação
- 2008