Open access

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

Written By

Jorge Santos, Zita Vale, Carlos Serôdio and Carlos Ramos

Published: 01 October 2008

DOI: 10.5772/5835

From the Edited Volume

Robotics, Automation and Control

Edited by Pavla Pecherkova, Miroslav Flidr and Jindrich Dunik

Chapter metrics overview

2,174 Chapter Downloads

View Full Metrics

Written By

Jorge Santos, Zita Vale, Carlos Serôdio and Carlos Ramos

Published: 01 October 2008