A Case Study on Formal Design of Hybrid Control Systems.

Hong Ki Thae, Dang Van Hung

Browse the full COMPSAC paper archive.