The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems
Saved in:
Main Authors: | , , , |
---|---|
Format: | Ebooks |
Published: |
IntechOpen,
2008-10-01.
|
Subjects: | |
Online Access: | Get Online |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Item Description: | https://mts.intechopen.com/articles/show/title/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systems |
---|