Abderrahmane Feliachi
发表
Manel Fredj,
Sven Leger,
Abderrahmane Feliachi,
2017,
RSSRail.
Yamine Aït Ameur,
Abderrahmane Feliachi,
Julien Ordioni,
2017,
RSSRail.
Abderrahmane Feliachi,
Julien Ordioni,
David Bonvoisin,
2016
.
Burkhart Wolff,
Marie-Claude Gaudel,
Abderrahmane Feliachi,
2013,
ICFEM.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2014,
Arch. Formal Proofs.
Achim D. Brucker,
Burkhart Wolff,
Yakoub Nemouchi,
2016
.
Abderrahmane Feliachi,
Julien Ordioni,
David Bonvoisin,
2016,
RSSRail.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2015
.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2016
.
Burkhart Wolff,
Marie-Claude Gaudel,
Abderrahmane Feliachi,
2012,
VSTTE.
Burkhart Wolff,
Marie-Claude Gaudel,
Abderrahmane Feliachi,
2013
.
Achim D. Brucker,
Burkhart Wolff,
Yakoub Nemouchi,
2013,
TAP@STAF.
Yamine Aït Ameur,
Abderrahmane Feliachi,
Julien Ordioni,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Abderrahmane Feliachi,
A. Feliachi,
2012
.
Abderrahmane Feliachi,
2012
.
Abderrahmane Feliachi,
Hélène Le Guen,
A. Feliachi,
2010,
2010 Third International Conference on Software Testing, Verification and Validation.
Achim D. Brucker,
Burkhart Wolff,
Yakoub Nemouchi,
2010
.
Burkhart Wolff,
Marie-Claude Gaudel,
Abderrahmane Feliachi,
2010,
UTP.
Yamine Aït Ameur,
Abderrahmane Feliachi,
Julien Ordioni,
2020,
Sci. Comput. Program..
Burkhart Wolff,
Marie-Claude Gaudel,
Abderrahmane Feliachi,
2015,
Int. J. Softw. Informatics.
Burkhart Wolff,
Marie-Claude Gaudel,
Abderrahmane Feliachi,
2012,
Arch. Formal Proofs.