Security Requirements Formalization with RQCODE in - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2024

Security Requirements Formalization with RQCODE in

Fichier non déposé

Dates et versions

hal-04324243 , version 1 (05-12-2023)

Identifiants

  • HAL Id : hal-04324243 , version 1

Citer

Andrey Sadovykh, Nan Messe, Ildar Nigmatullin, Sophie Ebersold, Maria Naumcheva, et al.. Security Requirements Formalization with RQCODE in. Andrey 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. ⟨hal-04324243⟩
38 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More