Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid. Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. In 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece. pages 91-97, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Michel Metzger' in GoogleThis author has not been identified. Look up 'Frederic Bastien' in GoogleThis author has not been identified. Look up 'Frédéric Rousseau' in GoogleThis author has not been identified. Look up 'Julie Vachon' in GoogleThis author has not been identified. Look up 'El Mostapha Aboulhamid' in Google

runs on WebDSL