VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers.

Jorge Santos, Luz Faria, Carlos Ramos, Zita A. Vale, Albino Marques

Browse the full FlAIRS paper archive.