Frederic Bastien

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

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. IEEE International Workshop on Rapid System Prototyping (2006)
Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
A Verification Tool Implementation using Introspection Mechanism. FDL (2006)