![](/img/cover-not-exists.png)
[IEEE 2019 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) - Auckland, New Zealand (2019.5.20-2019.5.23)] 2019 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) - A formal analysis approach for verifying the design of respiratory pacing devices
Eichler, Chad E., Suresh, Vinod, Roop, Partha S.Year:
2019
DOI:
10.1109/I2MTC.2019.8826912
File:
PDF, 536 KB
2019