CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Md. Ariful IslamHyun-Kyung LimNicola PaolettiHoussam AbbasZhihao JiangJacek CyrankaRance CleavelandSicun GaoEdmund M. ClarkeRadu GrosuRahul MangharamElizabeth CherryFlavio H. FentonRichard A. GrayJames GlimmShan LinQinsi WangScott A. SmolkaPublished in: BIBM (2016)