Jean-Pierre Gallois
发表
Pascale Le Gall,
Jean-Paul Comet,
Daniel Mateus,
2007,
BMC Systems Biology.
Pascale Le Gall,
Jean-Paul Comet,
Daniel Mateus,
2007,
J. Bioinform. Comput. Biol..
Marc Pouzet,
Sébastien Labbé,
Jean-Pierre Gallois,
2007,
2007 Australian Software Engineering Conference (ASWEC'07).
Dario Vieira,
Jean-Pierre Gallois,
Elisangela Rodrigues Vieira,
2012,
Bell Labs Technical Journal.
Jean-Pierre Gallois,
Sébastien Labbé,
S. Labbé,
2008,
Formal Aspects of Computing.
Philippe Dague,
Lina Ye,
Hadi Zaatiti,
2018,
CICM Workshops.
Frédéric Boulanger,
Jean-Pierre Gallois,
Slim Medimegh,
2016,
GEMOC@MoDELS.
Clémentine Nebut,
Yves Le Traon,
Hubert Dubois,
2004,
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..
David Lugato,
Alain Faivre,
Arnault Lapitre,
2003,
TACAS.
Gilles Mouchard,
Smaïl Niar,
Réda Nouacer,
2015,
2015 Euromicro Conference on Digital System Design.
Philippe Dague,
Lina Ye,
Hadi Zaatiti,
2018,
DX.
Sébastien Gérard,
François Terrier,
David Lugato,
2003,
International Journal on Software Tools for Technology Transfer.
Philippe Dague,
Lina Ye,
Louise Travé-Massuyès,
2018
.
Gilles Mouchard,
Smaïl Niar,
Réda Nouacer,
2016,
Microprocess. Microsystems.
Sébastien Labbé,
Jean-Pierre Gallois,
S. Labbé,
2006
.