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!
|
LEADER | 00916 am a22002173u 4500 | ||
---|---|---|---|
001 | intechopen_books_3693 | ||
042 | |a dc | ||
100 | 1 | 0 | |a Jorge Santos |e author |
700 | 1 | 0 | |a Zita Vale |e author |
700 | 1 | 0 | |a Carlos Serôdio |e author |
700 | 1 | 0 | |a Carlos Ramos |e author |
245 | 0 | 0 | |a The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems |
260 | |b IntechOpen, |c 2008-10-01. | ||
500 | |a https://mts.intechopen.com/articles/show/title/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systems | ||
540 | |a https://creativecommons.org/licenses/by-nc-sa/3.0/ | ||
546 | |a en | ||
690 | |a Robotics, Automation and Control | ||
655 | 7 | |a Chapter, Part Of Book |2 local | |
786 | 0 | |n https://www.intechopen.com/books/3693 | |
787 | 0 | |n ISBN:978-953-7619-18-3 | |
856 | \ | \ | |u https://mts.intechopen.com/articles/show/title/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systems |z Get Online |