OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Laboratoire Lorrain de Recherche en Informatique et ses Applications - LORIA - UMR 7503 (Nancy, France) "

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

Article

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

This list was generated on Tue Jul 9 10:21:20 2013 CEST.