Publications

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

Serôdio, C

Editor(s)

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

Document Type

Proceedings Paper

Year published

2007

Published

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

Volume: ICSO, Pages: 179-+ (3)

Conference

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

Indexing