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

[pdf] 

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},
}