Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Revue
Soft Computing
Springer Science+Business Media
Publications de l’université dans cette revue(2)
An improved problem aware local search algorithm for the DNA fragment assembly problem
Abdelkamel Ben Ali, Gabriel Luque, Enrique Alba, Kamal Eddine Melkemi