Login / Signup
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification.
Mitziu Echeverria
Zeeshan Ahmed
Bincheng Wang
M. Fareed Arif
Syed Rafiul Hussain
Omar Chowdhury
Published in:
CoRR (2021)
Keyphrases
</>
physical activity
cellular automata
monitoring system
data acquisition
real time
medical devices
data mining
image analysis
sensor networks
user centric
face verification
formal methods
early warning
cellular processes