The verification of temporal knowledge based systems a case-study on power-systems

By Santos, J.; Vale, Z.; Ramos, C.; Ser\^odio, C.

ICINCO 2007 - 4th International Conference on Informatics in Control, Automation and Robotics, Proceedings

2007

Abstract

No abstract available.

Google Scholar: