Jean-Michel Bruel
2
Documents
Présentation
Publications
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 1
|
|
RQCODE – Towards Object-Oriented Requirements in the Software Security DomainIEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩
Communication dans un congrès
hal-03781938v1
|
Security Requirements Formalization with RQCODE inAndrey Sadovykh; Dragos Truscan; Wissam Mallouli; Ana Rosa Cavalli; Cristina Seceleanu; Alessandra Bagnato. CyberSecurity in a DevOps Environment From Requirements to Monitoring, Springer, inPress, 978-3-031-42211-9
Chapitre d'ouvrage
hal-04324243v1
|