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