Login / Signup

Automated closed-loop model checking of implantable pacemakers using abstraction trees.

Zhihao JiangHoussam AbbasPieter J. MostermanRahul Mangharam
Published in: SIGBED Rev. (2017)
Keyphrases