Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
| Title | Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Masci, Paolo, Ayoub, Anaheed, Curzon, Paul, Harrison, Michael D., Lee, Insup, Thimbleby, Harold |
| Conference Name | Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems |
| Keywords | 1035715 |
| Citation Key | Masci2013eics |