Verification via Digitized Models of Real-Time Hybrid Systems.

Dang Van Hung, Ko Kwang Il

Browse the full APSEC paper archive.