Safety-critical medical device development using the UPP2SF model translation tool

M Pajic, Zhihao Jiang, I Lee, O Sokolsky, R Mangharam
April 2014
Cite Project Project DOI
Type
Journal article
Publication
ACM Transactions on Embedded Computing Systems
FormalMethod Pacemaker ModelChecking UPPAAL TimedAutomata
Zhihao Jiang
Zhihao Jiang
Assistant Professor

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

Related