I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Explainability of Model Checking for Mobile Malicious Behav..:

, In: Collaborative Approaches for Cyber Security in Cyber-Physical Systems; Advanced Sciences and Technologies for Security Applications,
Mercaldo, Francesco ; Casolare, Rosangela ; Santone, Antonella - p. 99-122 , 2023
Link: https://doi.org/10.1007/978-3-031-16088-2_5