The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems
Saved in:
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!
|
Similar Items
-
Guaranteed Verification of Dynamic Systems
by: Schwab, Stefan
Published: (2022) -
Sizing verification of a 4kWp retrofitted grid-connected photovoltaic system: a case study in Shah Alam, Malaysia
by: Shukor, F.A.M, et al.
Published: (2020) -
Verification of MATLAB/Simulink Power Cable Modelling with Experimental Analysis
by: Kuan, Tze Mei, et al.
Published: (2018) -
On Sparse Compression Complexity of Speech Signals
by: Omara, Ahmed, et al.
Published: (2016) -
Distributed Energy Resources Management 2018
by: Vale, Zita
Published: (2020)