autores
- Alves-Serodio, Carlos M.J.
- Santos, J.
- Vale, Z.
- Ramos, C.
- Serôdio, C.
The verification of temporal knowledge based systems a case-study on power-systems
Artigo de Conferência
- Visão geral
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2007