Use runtime verification to improve the quality of medical care practice

Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jiaguang Sun, Lui Sha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Use runtime verification to improve the quality of medical care practice'. Together they form a unique fingerprint.

Engineering & Materials Science