J. Monin
发表
Jean-François Monin,
Xiaomu Shi,
J. Monin,
2013,
ITP.
J. Monin,
2010
.
Claude Jard,
Roland Groz,
Jean-François Monin,
1988,
IEEE Trans. Software Eng..
J. Monin,
F. Blanqui,
C. Helmstetter,
2011
.
Laurent Fribourg,
Béatrice Bérard,
Jean-François Monin,
2003,
Formal Methods Syst. Des..
Jean-François Monin,
Guillaume Doumenc,
J. Monin,
1993,
FME.
Yuxin Deng,
Jean-Francois Monin,
J. Monin,
2019,
The Art of Modelling Computational Systems.
Dominique Larchey-Wendling,
Jean-François Monin,
J. Monin,
2021,
Proof and Computation II.
Jean-François Monin,
Michaël Périn,
Cristian Ene,
2009,
ArXiv.
Jean-François Monin,
Frédéric Blanqui,
Claude Helmstetter,
2011,
ArXiv.
Jean-François Monin,
Xiaomu Shi,
Vania Joloboff,
2017
.
Jean-François Monin,
J. Monin,
1996,
TYPES.
Jean-Frangois Monin,
J. Monin,
1996,
Sci. Comput. Program..
Jean-François Monin,
J. Monin,
1995,
MPC.
Stéphane Grumbach,
Jean-François Monin,
Yuxin Deng,
2010
.
Stéphane Grumbach,
Jean-François Monin,
Yuxin Deng,
2011
.
Yuxin Deng,
Stéphane Grumbach,
Jean-François Monin,
2011,
FMOODS/FORTE.
Laurent Fribourg,
Béatrice Bérard,
Jean-François Monin,
2003,
FME 2003.
J. Monin,
J. Courant,
Y. Lakhnech,
2006
.