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:
NDSS (2021)
Keyphrases
</>
monitoring system
physical activity
real time
cellular automata
data acquisition
face verification
sensing devices
medical devices
database
functional verification
formal verification
tool wear
user centric
decision support
portable devices
remote server
case study