APKeep: Realtime Verification for Real Networks.
Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, Hao Li
2020Networked Systems Design and Implementation17 citations
Topics & Concepts
Computer scienceEmbedded systemReal-time computingSoftware System Performance and ReliabilityReal-Time Systems SchedulingSoftware Testing and Debugging Techniques