Title of article :
On the formal verification of hybrid systems
Author/Authors :
H. Guéguen and J. Zaytoon، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Keywords :
Verification , reachability , approximations , Abstraction , Hybrid automata
Journal title :
Electric Power Systems Research
Journal title :
Electric Power Systems Research
