Publications

Export 1 results:
Author [ Title(Desc)] Type Year
Filters: Author is Jiang, Kuk Jin  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
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)