Modeling and Verification of a Dual Chamber Implantable Pacemaker

Book Section

Full Text

Duke Authors

Cited Authors

  • Jiang, Z; Pajic, M; Moarref, S; Alur, R; Mangharam, R

Cited Editors

  • Flanagan, C; KÃ nig, B

Published Date

  • 2012

Volume / Issue

  • 7214 /

Book Title

  • Tools and Algorithms for the Construction and Analysis of Systems

Start / End Page

  • 188 - 203

Published By

International Standard Book Number 13 (ISBN-13)

  • 978-3-642-28755-8

Digital Object Identifier (DOI)

  • 10.1007/978-3-642-28756-5_14