Dependable integrated clinical system architecture with runtime verification.

Yu Jiang Mingzhe Wang Han Liu Mohammad Hosseini Jiaguang Sun

Published in: ICCAD (2017)

Keyphrases

management system
network architecture
clinical practice
architectural design
clinical setting
fault tolerant
patient data
medical records
medical data
formal methods
medical diagnostic