Capturing Inter-process Communication for Runtime Verification on Android.

Alex Villazón Haiyang Sun Walter Binder

Published in: ISoLA (4) (2018)

Keyphrases

mobile devices
communication networks
real time
neural network
information retrieval
cooperative
model checking
information sharing
computer networks