Zhihao Jiang
Zhihao Jiang
About
Projects
News
Publications
Team
Contact
Light
Dark
Automatic
High-Confidence Medical Device Software Development
Zhihao Jiang
,
R Mangharam
December 2015
Cite
Project
DOI
Type
Journal article
Publication
Foundations and Trends in Electronic Design Automation
MedicalDevice
Modeling
FormalMethod
V&V
ClinicalTrial
Zhihao Jiang
Assistant Professor
Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University.
Related
The Challenges of High-Confidence Medical Device Software
Closed-loop verification of medical devices with model abstraction and refinement
Environment Modeling During Model Checking of Cyber-Physical Systems
High-level modeling for computer-aided clinical trials of medical devices
In silico pre clinical trials for implantable cardioverter defibrillators
Cite
×