%0 Conference Paper
%B 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
%D 2016
%G eng
%I IEEE
%T Cybercardia project: Modeling, verification and validation of implantable cardiac devices