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


hal-00744434v1  Article dans une revue
Philippe DhaussyFrédéric BoniolJean-Charles RogerAmine RajiYves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
hal-02437410v1  Communication dans un congrès
Didier DuboisLuc JaulinHenri Prade. Ensembles épais, fonctions multivoques, et théorie des possibilités
28e Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2019), Nov 2019, Alès, France