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.

Télécharger l'article

Charger l'article : (link)

Charger l'article : (link)

Copyright :

Contact

Yves Ledru

Référence BibTex

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

Référence EndNote [help]

Charger la référence EndNote (.ref)