CyberCardia project: Modeling, verification and validation of implantable cardiac devices

Md Islam, Hyunkyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund Clarke, Radu Grosu

Research output: Contribution to conferencePaper

Fingerprint

Dive into the research topics of 'CyberCardia project: Modeling, verification and validation of implantable cardiac devices'. Together they form a unique fingerprint.