C. Helmstetter
发表
J. Monin,
F. Blanqui,
C. Helmstetter,
2011
.
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2006,
2006 Formal Methods in Computer Aided Design.
Claude Helmstetter,
C. Helmstetter,
2014,
Leibniz Trans. Embed. Syst..
Jean-François Monin,
Frédéric Blanqui,
Claude Helmstetter,
2011,
ArXiv.
Florence Maraninchi,
Laurent Maillet-Contoz,
Claude Helmstetter,
2009,
Formal Methods Syst. Des..
Hui Xiao,
Claude Helmstetter,
Vania Joloboff,
2009,
2009 IEEE International Workshop on Open-source Software for Scientific Computation (OSSC).
Olivier Ponsini,
Hubert Garavel,
Wendelin Serwe,
2009,
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Claude Helmstetter,
Vania Joloboff,
C. Helmstetter,
2008,
APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems.
J. Cornet,
F. Maraninchi,
L. Maillet-Contoz,
2008,
2008 Joint 6th International IEEE Northeast Workshop on Circuits and Systems and TAISA Conference.
Olivier Ponsini,
Claude Helmstetter,
Olivier Ponsini,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Florence Maraninchi,
Laurent Maillet-Contoz,
Claude Helmstetter,
2006,
FMICS/PDMC.