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

Akram Idani 1 Yves Ledru 1 Mohamed-Amine Labiadh 2
1 LIG Laboratoire d'Informatique de Grenoble - VASCO
LIG - Laboratoire d'Informatique de Grenoble
2 LIG - Laboratoire d'Informatique de Grenoble
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 octobre 2018 - 08:48:04

Identifiants

  • HAL Id : hal-00974766, version 1

Collections

LIG | LIG_GLSI | LIG_GLSI_VASCO | UGA | LIG_SRCPR

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

210

Contact


archive-ouverte@inria.fr