J. Dubreil
发表
F. Cassez,
H. Marchand,
J. Dubreil,
2012,
Formal Methods in System Design.
Philippe Darondeau,
Hervé Marchand,
Jérémy Dubreil,
2010,
WODES.
Peter W. O'Hearn,
Cristiano Calcagno,
Dulma Rodriguez,
2015,
NFM.
Hervé Marchand,
Franck Cassez,
Jérémy Dubreil,
2012,
Formal Methods Syst. Des..
P. Darondeau,
H. Marchand,
H. Marchand,
2008,
2008 9th International Workshop on Discrete Event Systems.
Hervé Marchand,
Franck Cassez,
Jérémy Dubreil,
2009,
ATVA.