M. Moy
发表
K. Altisen,
M. Moy,
2011,
WCTT '11.
L. Henrio,
M. Moy,
J. Emmanuel,
2021,
2021 29th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS).
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2006,
2006 Formal Methods in Computer Aided Design.
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2005,
Des. Autom. Embed. Syst..
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Matthieu Moy,
Serge Hustin,
Stephane Guenot,
2005
.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2010,
2010 22nd Euromicro Conference on Real-Time Systems.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2009
.
J. Cornet,
F. Maraninchi,
L. Maillet-Contoz,
2008,
2008 Joint 6th International IEEE Northeast Workshop on Circuits and Systems and TAISA Conference.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2016,
Formal Methods Syst. Des..
K. Altisen,
M. Moy,
2016,
Formal Methods in System Design.
K. Altisen,
M. Moy,
2011,
WCTT '11.
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
pdf
Yanhong Liu,
Matthieu Moy,
Karine Altisen,
2010,
QAPL.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2010,
TACAS.
Ludovic Henrio,
Matthieu Moy,
Nicolas Chappe,
2021,
Art Sci. Eng. Program..
Kevin Marquet,
Bertrand Jeannet,
Matthieu Moy,
2011
.
Matthieu Moy,
Karine Altisen,
Yanhong A. Liu,
2009
.