Generation of test programs for the assertion-based verification of TLM models. Ferro, L., Pierre, L., Ledru, Y., & du Bousquet, L. In Design and Test Workshop, 2008. IDT 2008. 3rd International, pages 237--242, December, 2008. IEEE.
Generation of test programs for the assertion-based verification of TLM models [link]Paper  doi  bibtex   
@inproceedings{ ferro_generation_2008,
  title = {Generation of test programs for the assertion-based verification of {TLM} models},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4802505&isnumber=4802443},
  doi = {http://dx.doi.org/10.1109/IDT.2008.4802505},
  urldate = {2015-04-21TZ},
  booktitle = {Design and {Test} {Workshop}, 2008. {IDT} 2008. 3rd {International}},
  publisher = {IEEE},
  author = {Ferro, Luca and Pierre, Laurence and Ledru, Yves and du Bousquet, Lydie},
  month = {December},
  year = {2008},
  pages = {237--242}
}
Downloads: 0