Robotics Automation and Control, ISBN: 978-953-7619-18-3

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

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

DOI: 10.5772/5835

Download as PDF

May 25, 2012 | ICRA 12 - The Novel Robots Generation
May 16, 2012 | International AIDS Vaccine Day - Pushing Towards Advancing Research Efforts in the Field
May 11, 2012 | InTech Sponsors Champion Volleyball Team
May 07, 2012 | InTech Sponsors ICRA 2012
Apr 26, 2012 | InTech Attends Symposium on Neuroprotection and Neurorepair
Apr 23, 2012 | InTech's Books Donated to Central Library of the Autonomous University of Baja California
Apr 20, 2012 | International Journal of Engineering Business Management Enters Scopus
Apr 18, 2012 | Exosomics Journal Editor-in-Chief to Attend ISEV 2012
Apr 17, 2012 | Haemophilia: the Bleeding Gene
Apr 12, 2012 | International Day of Human Spaceflight: Introducing the Humans vs. Robots Galactic Battleship