|
 
|
Messaoud Abbas
|
Doctorant(e) Equipe SYS Parti depuis le 01/09/2017 Mail : abbasmessaoud  gmail.com
Tel : 01 69 36 73 76 Directeur de thèse : Renaud Rioboo |
These Franco-algérienne - co-encadrement R. Riobb et C. Ben-Yelles. Inscrit à l'USTHB.
Publications
2014
- [ABR14a] M. Abbas, C. Ben Yelles, R. Rioboo. "Generating FoCaLiZe Specifications from UML Models", International Conference on Advanced Aspects of Software Engineering, ICAASE, November 2014, Vol. 1294, pp.157--164, Series CEUR-WS,
- [ABR14] M. Abbas, C. Ben Yelles, R. Rioboo. "Modeling UML Template Classes with FoCaLiZe", Integrated Formal Methods, September 2014, pp.87--102, Series LNCS,
