Skip to Main content Skip to Navigation
Conference papers

B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster)

Résumé : no abstract
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00974766
Contributor : Catherine Oriat Connect in order to contact the contributor
Submitted on : Monday, April 7, 2014 - 2:16:49 PM
Last modification on : Sunday, June 26, 2022 - 9:35:25 AM

Identifiers

  • HAL Id : hal-00974766, version 1

Collections

Citation

Akram Idani, yves Ledru, Mohamed-Amine Labiadh. B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.211. ⟨hal-00974766⟩

Share

Metrics

Record views

170