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!
Description
Item Description:https://mts.intechopen.com/articles/show/title/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systems