Communication Dans Un Congrès
Année : 2017
Yves ROUDIER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01974725
Soumis le : mercredi 9 janvier 2019-00:41:25
Dernière modification le : lundi 26 février 2024-11:22:07
Citer
Zeineb Zhioua, Yves Roudier, R. Ameur-Boulifa. Formal Specification and Verification of Security Guidelines. 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), IEEE Computer Society, Jan 2017, Christchurch, New Zealand. pp.267--273, ⟨10.1109/PRDC.2017.51⟩. ⟨hal-01974725⟩
Collections
161
Consultations
0
Téléchargements