Zhihao Jiang

First name

Zhihao

Last name

Jiang
Abbas, H., Jiang, K. J., Jiang, Z., & Mangharam, R. (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
Jiang, Z., Abbas, H., Jang, K. J., Beccani, M., Liang, J., Dixit, S., & Mangharam, R. (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.
Abbas, H., Jiang, Z., Jang, K. J., Beccani, M., Liangy, J., & Mangharam, R. (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.
Islam, M. A., Lim, H., Paoletti, N., Abbas, H., Jiang, Z., Cyranka, J., et al. (2016). Cybercardia project: Modeling, verification and validation of implantable cardiac devices. 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Presented at the. IEEE.