Items where Laboratory is "Laboratoire Lorrain de Recherche en Informatique et ses Applications-LORIA (Nancy)"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1.
Conference or Workshop ItemSaqui-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. |