Title of article :
A hybrid modeling and verification paradigm for embedded control systems
Author/Authors :
Pieter J. Mosterman، نويسنده , , Gautam Biswas and Janos Sztipanovits، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1998
Keywords :
Hybrid systems , Command and Control Systems , compositional modeling , Verification , formal methods
Journal title :
Electric Power Systems Research
Journal title :
Electric Power Systems Research
