Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia. Interactive presentation: Automatic model generation for black box real-time systems. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 930-935, ACM, 2007. [doi]
Abstract is missing.