Login / Signup

A Study on Formal Methods to Generalize Heterogeneous Mobile Malware Propagation and Their Impacts.

Arash MahboubiSeyit CamtepeHasmukh Morarji
Published in: IEEE Access (2017)
Keyphrases
  • formal methods
  • database
  • artificial intelligence
  • case study
  • formal analysis
  • model checker