• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Capturing Inter-process Communication for Runtime Verification on Android.

Alex VillazónHaiyang SunWalter Binder
Published in: ISoLA (4) (2018)
Keyphrases
  • mobile devices
  • communication networks
  • real time
  • neural network
  • information retrieval
  • cooperative
  • model checking
  • information sharing
  • computer networks