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
Wos®
Scopus®
Dblp®/en/publications/view/144807
Publication Identifiers
DBLP: conf/icinco/SantosVRS07
SCOPUS: 2-s2.0-67149118154
Wos: WOS:000252639500025
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service