C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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