Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.
Michel Metzger, Frdric Bastien, Frdric Rousseau, Julie Vachon, El Mostapha Aboulhamid
VenueCRSP
Year2006
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/MetzgerBRVA06 ↗
Browse the full RSP paper archive.