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