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

Résumé : no abstract
Type de document :
Communication dans un congrès
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, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00974766
Contributeur : Catherine Oriat <>
Soumis le : lundi 7 avril 2014 - 14:16:49
Dernière modification le : jeudi 11 janvier 2018 - 06:22:07

Identifiants

  • 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, 2013. 〈hal-00974766〉

Partager

Métriques

Consultations de la notice

208