TY - CPAPER
AU - Md Islam
AU - Hyunkyung Lim
AU - Nicola Paoletti
AU - Houssam Abbas
AU - Zhihao Jiang
AU - Jacek Cyranka
AU - Rance Cleaveland
AU - Sicun Gao
AU - Edmund Clarke
AU - Radu Grosu
AU - others
BT - 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
LA - eng
PB - IEEE
PY - 2016
T2 - 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
TI - Cybercardia project: Modeling, verification and validation of implantable cardiac devices
ER -