Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Jiang, Kuk Jin  [Clear All Filters]
2016
Towards Model Checking of Implantable Cardioverter Defibrillators, Abbas, Houssam, Jiang Kuk Jin, Jiang Zhihao, and Mangharam Rahul , Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2016)  (1.87 MB)