Jump to : Download | Contact | BibTex reference | EndNote reference |

CA:Ferro08

Luca Ferro, Laurence Pierre, Yves Ledru, Lydie du Bousquet. Generation of test programs for the assertion-based verification of TLM models. In Design and Test Workshop, 2008. IDT 2008. 3rd International, Pages 237-242, 2008.

Download

Download paper: (link)

Download paper: (link)

Copyright notice:

Contact

Yves Ledru

BibTex Reference

@InProceedings{CA:Ferro08,
   Author = {Ferro, Luca and Pierre, Laurence and Ledru, Yves and du Bousquet, Lydie},
   Title = {Generation of test programs for the assertion-based verification of TLM models},
   BookTitle = {Design and Test Workshop, 2008. IDT 2008. 3rd International},
   Pages = {237--242},
   Publisher = {IEEE},
   Month = {},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)


This page has been automatically generated using the bib2html program.