Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata. Shu, G.; Li, C.; Wang, Q.; and Li, M. In Proceedings of IEEE International Workshop on Rapid System Prototyping, pages 99-, 2002.
Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata [link]Paper  bibtex   
@inproceedings{ dblp4036572,
  title = {Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata},
  author = {Guoqiang Shu and Chao Li and Qing Wang and Mingshu Li},
  author_short = {Shu, G. and Li, C. and Wang, Q. and Li, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp4036572},
  id = {dblp4036572},
  biburl = {http://www.dblp.org/rec/bibtex/conf/rsp/ShuLWL02},
  url = {http://dx.doi.org/10.1109/IWRSP.2002.1029744},
  conference = {IEEE International Workshop on Rapid System Prototyping},
  pages = {99-},
  text = {IEEE International Workshop on Rapid System Prototyping 2002:99-},
  booktitle = {Proceedings of IEEE International Workshop on Rapid System Prototyping}
}
Downloads: 0