. (2016). Towards Model Checking of Implantable Cardioverter Defibrillators. Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/2883817.2883841
Zhihao Jiang
First name
Zhihao
Last name
Jiang
. (2016). In-silico pre-clinical trials for implantable cardioverter defibrillators. Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the. Presented at the. IEEE.
. (2016). High-level modeling for computer-aided clinical trials of medical devices. High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International. Presented at the. IEEE.
. (2016). Cybercardia project: Modeling, verification and validation of implantable cardiac devices. 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Presented at the. IEEE.