Thanh Nguyen Tien, Shin Nakajima, Thang Huynh Quyet. Modeling and debugging numerical constraints of cyber-physical systems design. In Huynh Quyet Thang, Binh Nguyen Thanh, Tien Do Van, Marc Bui, Son Ngo Hong, editors, 4th International Symposium on Information and Communication Technology, SoICT '13, Danang, Viet Nam - December 05 - 06, 2013. pages 251-260, ACM, 2013. [doi]
Abstract is missing.