[IEEE 2008 3rd International Design and Test Workshop (IDT) - Monastir, Tunisia (2008.12.20-2008.12.22)] 2008 3rd International Design and Test Workshop - Generation of test programs for the assertion-based verification of TLM models
Ferro, Luca, Pierre, Laurence, Ledru, Yves, du Bousquet, LydieYear:
2008
Language:
english
DOI:
10.1109/idt.2008.4802505
File:
PDF, 240 KB
english, 2008