Sorbonne University, Laboratoire d'Informatique Paris 6 (LIP6), CNRS Biskra University, Laboratoire d'Intelligence Artificielle (LINFI)
Software engineering Software development Formal Methods
Software engineering Formal methods Business processes Distributed Systems
Ph.D Sara Houhou Laboratoire LIP6, Sorbonne Université, CNRS, F-75005 Paris, France Laboratoire LINFI, Biskra Université , A-7000 Biskra, Algérie
ATER Laboratoire LIRMM, Montpellier Université, CNRS, F-34000 Montpellier, France
firstname.lastname@sorbonne-universite.fr firstname.lastname@lip6.fr firstname.lastname@umontpellier.fr firstname.lastname@lirmm.fr
SaraHouhou SaraHouhou