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

Browse the full EICS paper archive.