Automatic Model Generation for Black Box Real-Time Systems
Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, and Sanjit A. Seshia. Automatic Model Generation for Black Box Real-Time Systems. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pp. 930–935, ACM Press, April 2007.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{FWZKS-date07, author = {Thomas Huining Feng and Lynn Wang and Wei Zheng and Sri Kanajan and Sanjit A. Seshia}, title = {Automatic Model Generation for Black Box Real-Time Systems}, booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)}, year = {2007}, month = {April}, pages = {930--935}, publisher = {ACM Press}, }