. (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
Rahul Mangharam
First name
Rahul
Last name
Mangharam
. (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.
. (2020). Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level. CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics. Presented at the.