Skip to main content
construction release_alert
Scholars@Duke will be undergoing maintenance April 11-15. Some features may be unavailable during this time.
cancel
Journal cover image

Modeling and Verification of a Dual Chamber Implantable Pacemaker

Publication ,  Conference
Jiang, Z; Pajic, M; Moarref, S; Alur, R; Mangharam, R
Published in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2012

Duke Scholars

Published In

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

DOI

ISBN

978-3-642-28755-8

Publication Date

2012

Start / End Page

188 / 203

Publisher

Springer-Verlag

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Jiang, Z., Pajic, M., Moarref, S., Alur, R., & Mangharam, R. (2012). Modeling and Verification of a Dual Chamber Implantable Pacemaker. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (pp. 188–203). Springer-Verlag. https://doi.org/10.1007/978-3-642-28756-5_14
Jiang, Zhihao, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 188–203. Springer-Verlag, 2012. https://doi.org/10.1007/978-3-642-28756-5_14.
Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and Verification of a Dual Chamber Implantable Pacemaker. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag; 2012. p. 188–203.
Jiang, Zhihao, et al. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag, 2012, pp. 188–203. Manual, doi:10.1007/978-3-642-28756-5_14.
Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and Verification of a Dual Chamber Implantable Pacemaker. Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag; 2012. p. 188–203.
Journal cover image

Published In

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

DOI

ISBN

978-3-642-28755-8

Publication Date

2012

Start / End Page

188 / 203

Publisher

Springer-Verlag

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences