Capturing Inter-process Communication for Runtime Verification on Android

Simple item page
dc.contributor.authorAlex Villazón
dc.contributor.authorHaiyang Sun
dc.contributor.authorWalter Binder
dc.coverage.spatialBolivia
dc.date.accessioned2026-03-22T20:19:00Z
dc.date.available2026-03-22T20:19:00Z
dc.date.issued2018
dc.descriptionCitaciones: 2
dc.identifier.doi10.1007/978-3-030-03427-6_4
dc.identifier.urihttps://doi.org/10.1007/978-3-030-03427-6_4
dc.identifier.urihttps://andeanlibrary.org/handle/123456789/81273
dc.language.isoen
dc.publisherSpringer Science+Business Media
dc.relation.ispartofLecture notes in computer science
dc.sourceUniversidad Privada Boliviana
dc.subjectAndroid (operating system)
dc.subjectComputer science
dc.subjectJava
dc.subjectAndroid application
dc.subjectOperating system
dc.subjectDistributed computing
dc.subjectProgramming language
dc.titleCapturing Inter-process Communication for Runtime Verification on Android
dc.typebook-chapter

Files

Collections

Capítulos de Libro