Eric Conquet
发表
Eric Conquet,
Jean-Luc Marty,
J. Marty,
1999,
World Congress on Formal Methods.
Jérôme Hugues,
Pierre Dissaux,
Thanassis Tsiodras,
2010
.
Julien Delange,
Thanassis Tsiodras,
Maxime Perrotin,
2012
.
Eric Conquet,
G. Touet,
1998
.
Julien Delange,
Andre Schiele,
Thanassis Tsiodras,
2011,
SDL Forum.
The Assert Set of Tools for Engineering (TASTE): Current Features, Demonstrator and Future Evolution
Guy Bois,
Yann Leclerc,
Maxime Perrotin,
2011
.
Joseph Sifakis,
Carlos Rodriguez,
Philippe Humbert,
1996,
Proceedings of Annual Symposium on Fault Tolerant Computing.
Eric Goubault,
Patrick Cousot,
Antoine Miné,
2009
.
Juan Zamorano,
Elena Alaña,
Eric Conquet,
2011
.
Guy Bois,
Yann Leclerc,
Maxime Perrotin,
2012
.
Fernando Herrera,
Juan Antonio de la Puente,
Juan Zamorano,
2012
.
Iulian Ober,
Susanne Graf,
Piotr Nienaltowski,
2011
.