OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Heuristique et Diagnostic des Systèmes Complexes - HEUDIASYC (Compiègne, France)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Aguirre, Felipe and Destercke, Sébastien and Dubois, Didier and Sallak, Mohamed and Jacob, Christelle Inclusion-exclusion principle for belief functions. (2014) International Journal of Approximate Reasoning, vol. 55 (n° 8). pp. 1708-1727. ISSN 0888-613X

Saqui-Sannes, Pierre de and Villemur, Thierry and Mota, Sara and Fontan, Benjamin and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent Formal verification of secure group communication protocols modelled in UML. (2010) Innovations in Systems and Software Engineering, vol. 6 (n°1-2). pp. 125-133. ISSN 1614-5046

Conference or Workshop Item

Aguirre, Felipe and Jacob, Christelle and Destercke, Sébastien and Dubois, Didier and Sallak, Mohamed Inclusion/exclusion principle for belief functions. (2013) In: 8th International Symposium on Imprecise Probability : Theories and Applications (ISIPTA 2013), 2 July 2013 - 5 July 2013 (Compiègne, France).

Saqui-Sannes, Pierre de and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent Formal verification of secure group communication protocols modelled in UML. (2010) In: 2nd IEEE International workshop UML and Formal Methods - UML&FM'2009, 08 Dec 2009, Rio de Janeiro, Brazil .

This list was generated on Mon Aug 29 18:42:38 2016 CEST.