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 paper: (link)
Download paper: (link)
Copyright notice:
@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}
}
Get EndNote Reference (.ref)