High-Confidence Medical Device Software Development,
Jiang, Z., and Mangharam R.
, Foundations and Trends in Electronic Design Automation, Volume 9, (2015)
(14.77 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) 
] 