The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems

Saved in:
Bibliographic Details
Main Authors: Jorge Santos (Author), Zita Vale (Author), Carlos Serôdio (Author), Carlos Ramos (Author)
Format: Ebooks
Published: IntechOpen, 2008-10-01.
Subjects:
Online Access:Get Online
Tags: Add Tag
No Tags, Be the first to tag this record!