Michel Metzger
According to our database1,
Michel Metzger
authored at least 3 papers
between 2006 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
2006
2007
2008
2009
0
1
2
3
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Introspection mechanisms for runtime verification in a system-level design environment.
Microelectron. J., 2009
2006
Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.
Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006
Proceedings of the Forum on specification and Design Languages, 2006