Article Dans Une Revue
Advances in Science, Technology and Engineering Systems Journal
Année : 2018
Yves ROUDIER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01974733
Soumis le : mercredi 9 janvier 2019-01:26:35
Dernière modification le : lundi 26 février 2024-11:22:07
Dates et versions
Identifiants
- HAL Id : hal-01974733 , version 1
Citer
Zeineb Zhioua, Rabéa Ameur-Boulifa, Yves Roudier. Framework for the Formal Specification and Verification of Security Guidelines. Advances in Science, Technology and Engineering Systems Journal, 2018, 3 (1), pp.38-48. ⟨hal-01974733⟩
Collections
95
Consultations
0
Téléchargements