Closed-loop verification of medical devices with model abstraction and refinement

Zhihao Jiang, M Pajic, R Alur, R Mangharam
September 2013
Cite Project Project DOI
Type
Journal article
Publication
International Journal on Software Tools for Technology Transfer
FormalMethod Modeling Pacemaker V&V ModelChecking Arrhythmia TimedAutomata UPPAAL
Zhihao Jiang
Zhihao Jiang
Assistant Professor

Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University.

Related