Chad E. Eichler, Vinod Suresh, Partha S. Roop. A formal analysis approach for verifying the design of respiratory pacing devices. In IEEE International Instrumentation and Measurement Technology Conference, I2MTC 2019, Auckland, New Zealand, May 20-23, 2019. pages 1-5, IEEE, 2019. [doi]
Abstract is missing.