Communication Dans Un Congrès
Année : 2015
Yves Ledru : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01420686
Soumis le : mardi 20 décembre 2016-20:40:50
Dernière modification le : mercredi 18 décembre 2024-09:30:41
Dates et versions
Identifiants
- HAL Id : hal-01420686 , version 1
Citer
Akram Idani, Yves Ledru. B for Modeling Secure Information Systems - The B4MSecure Platform (démo). Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods (ICFEM 2015), 2015, Paris, France. pp.312-328. ⟨hal-01420686⟩
Collections
81
Consultations
0
Téléchargements