ETSI SmartBAN System Performance and Coexistence Verification for Healthcare.

Harri Viittala Lorenzo Mucchi Matti Hämäläinen Tuomas Paso

Published in: IEEE Access (2017)

Keyphrases

information systems
model checking
real world
machine learning
health care
formal analysis
clinical trials
formal verification
concurrent systems
biomedical informatics
mobile phone
monitoring system
electronic health records
verification method
healthcare systems