TY  - RPRT
TI  - Model-based Pre-clinical Trials for Medical Devices Using Statistical Model Checking
AU  - Haochen Yang
AU  - Jicheng Gu
AU  - Zhihao Jiang
PY  - 2021
UR  - https://arxiv.org/abs/2106.11917
ID  - 2106.11917
ER  -