2006 | ||
---|---|---|
2 | EE | Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid: A Verification Tool Implementation using Introspection Mechanism. FDL 2006: 265-272 |
1 | EE | 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: 91-97 |
1 | El Mostapha Aboulhamid | [1] [2] |
2 | Frederic Bastien | [1] [2] |
3 | Frédéric Rousseau | [1] [2] |
4 | Julie Vachon | [1] [2] |