Merkliste 
 1 Ergebnisse 
 
1

Formalising UPTANE in CSP for Security Testing:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C),
Kirk, Rhys ; Nguyen, Hoang Nga ; Bryans, Jeremy... - p. 816-824 , 2021