Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

著录项

• 来源
  《Design & Test of Computers, IEEE》 |2015年第5期|27-34|共8页
• 作者

  Huang Zhenqi; Fan Chuchu; Mereacre Alexandru; Mitra Sayan; Kwiatkowska Marta;

  展开▼
• 作者单位

  展开▼
• 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  biological networks; hybrid systems; invariants; pacemakers; safety; verification;

  机译：生物网络;混合系统;不变性;起搏器;安全性;验证;