Login / Signup

Formal Analysis of Android Application Behavior with Real-Time Maude.

Shin Nakajima
Published in: CPSNA (2015)
Keyphrases
  • formal analysis
  • real time
  • agent model
  • android application
  • formal methods
  • low cost
  • hardware and software
  • ban logic
  • databases
  • information systems