Towards Model Checking of Implantable Cardioverter Defibrillators,
Abbas, Houssam, Jiang Kuk Jin, Jiang Zhihao, and Mangharam Rahul
, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2016)
(1.87 MB) High-level modeling for computer-aided clinical trials of medical devices,
Abbas, Houssam, Jiang Zhihao, Jang Kuk Jin, Beccani Marco, Liangy Jackson, and Mangharam Rahul
, High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International, (2016)
(4.01 MB)