Publicações

The Verification of Temporal Knowledge Based Systems - A Case-Study on Power-Systems

AuthID
P-004-DD7

Author(s)

Santos, J

Vale, Z

Ramos, C

Serodio, C

Editor(es)

Zaytoon, J; Ferrier, JL; Cetto, JA; Filipe, J

Tipo de Documento

Proceedings Paper

Year published

2007

Publicado

in ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO in ICINCO-ICSO

Volume: ICSO, Páginas: 179-185 (7)

Conference

4Th International Conference on Informatics in Control, Automation and Robotics, Date: MAY 09-12, 2007, Location: Angers, FRANCE, Patrocinadores: Inst Syst & Technol Informat, Control & Commun, Univ Angers, Int Federat Automat Control, GDR MACS, CNRS, EEA, Assoc Advancement Artificial Intelligence

Indexing