External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Model Checking of Implantable Cardioverter Defibrillators

Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam. Towards Model Checking of Implantable Cardioverter Defibrillators. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 87-92, ACM, 2016. [doi]

Authors

Houssam Abbas

This author has not been identified. Look up 'Houssam Abbas' in Google

Kuk Jin Jang

This author has not been identified. Look up 'Kuk Jin Jang' in Google

Zhihao Jiang

This author has not been identified. Look up 'Zhihao Jiang' in Google

Rahul Mangharam

This author has not been identified. Look up 'Rahul Mangharam' in Google
runs on