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

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

Computer Science

Research output: Contribution to conference › Paper

Original language	English
State	Published - 2016

Cite this

@conference{7e581d9919d34cb68c70077452835dbb,

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

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

year = "2016",

language = "English",

}