A formal analysis approach for verifying the design of respiratory pacing devices.

Chad E. Eichler Vinod Suresh Partha S. Roop

Published in: I2MTC (2019)

Keyphrases

formal analysis
formal methods
case study
building blocks
computer aided
knowledge based systems
business processes
embedded systems
engineering design