Modeling and Verification of a Dual Chamber Implantable Pacemaker

Conference Paper

Full Text

Duke Authors

Pajic, Miroslav

Cited Authors

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

Published Date

2012

Published In

Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Start / End Page

188 - 203

Published By

Springer-Verlag

International Standard Book Number 13 (ISBN-13)

978-3-642-28755-8

Digital Object Identifier (DOI)

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