Accéder directement au contenu Accéder directement à la navigation


hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
hal-01326351v1  Article dans une revue
Nadia MenadPhilippe DhaussyZoé DreyRachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
...
hal-00800702v1  Communication dans un congrès
Christophe Osswald. Controling the number of focal elements
Belief 2012, May 2012, Compiègne, France. pp.135-143, ⟨10.1007/978-3-642-29461-7⟩
hal-00913335v1  Communication dans un congrès
Jean-Philippe SchneiderZoé DreyJean-Christophe Le Lann. Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors
ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
hal-01331654v1  Communication dans un congrès
Frédéric Dambreville. Map-reduce implementation of belief combination rules
DATA 2016, Jun 2016, Lisbonne, Portugal