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 proceeding › Conference 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.

Keyphrases

Computer Science