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

AuthID
P-004-DD7
4
Author(s)
4
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 in ICINCO-ICSO
Volume: ICSO, Pages: 179-185 (7)
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
Publication Identifiers
Dblp: conf/icinco/SantosVRS07
Scopus: 2-s2.0-67149118154
Wos: WOS:000252639500025
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.