Medical Guidance Systems Group
Medical Guidance Systems Group
People
Demos
Projects
Publications
Light
Dark
Automatic
Jia-Guang Sun
Latest
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121
Cite
×