Communication Dans Un Congrès
Année : 2015
Yves Ledru : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01420680
Soumis le : mardi 20 décembre 2016-20:27:42
Dernière modification le : jeudi 4 avril 2024-21:09:46
Dates et versions
Identifiants
- HAL Id : hal-01420680 , version 1
Citer
Yves Ledru, Akram Idani, Jean-Luc Richier. Validation of a security policy by the test of its formal B specification - a case study. Third FME Workshop on Formal Methods in Software Engineering (Formalise’15), 2015, Firenze, Italy. pp.6-12. ⟨hal-01420680⟩
Collections
40
Consultations
0
Téléchargements