Login / Signup
A Study on Formal Methods to Generalize Heterogeneous Mobile Malware Propagation and Their Impacts.
Arash Mahboubi
Seyit Camtepe
Hasmukh Morarji
Published in:
IEEE Access (2017)
Keyphrases
</>
formal methods
database
artificial intelligence
case study
formal analysis
model checker