Login / Signup

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. Smolka
Published in: BIBM (2016)
Keyphrases
  • neural network
  • model validation
  • case study
  • mobile devices
  • project management
  • real time
  • genetic algorithm
  • video sequences
  • image analysis
  • modeling language
  • artificial intelligence
  • model checking