Modeling and Verification of a Dual Chamber Implantable Pacemaker
| Title | Modeling and Verification of a Dual Chamber Implantable Pacemaker |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Jiang, Zhihao, Pajic, Miroslav, Moarref, Salar, Alur, Rajeev, Mangharam, Rahul |
| Conference Name | Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
| Publisher | Springer-Verlag |
| Keywords | 1035715 |
| Citation Key | jiang_tacas12 |