Hybrid Dynamic Systems: Overview and Discussion on Verification Methods.

Janan Zaytoon Hybrid Dynamic Systems: Overview and Discussion on Verification Methods. 21-30 2005 conf/icinco/2005 ICINCO db/conf/icinco/icinco2005.html#Zaytoon05