Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example

Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby. Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. In Peter Forbrig, Prasun Dewan, Michael Harrison, Kris Luyten, editors, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013. pages 81-90, ACM, 2013. [doi]

Authors

Paolo Masci

This author has not been identified. Look up 'Paolo Masci' in Google

Anaheed Ayoub

This author has not been identified. Look up 'Anaheed Ayoub' in Google

Paul Curzon

This author has not been identified. Look up 'Paul Curzon' in Google

Michael D. Harrison

This author has not been identified. Look up 'Michael D. Harrison' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google

Harold W. Thimbleby

This author has not been identified. Look up 'Harold W. Thimbleby' in Google