Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.

Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby

Browse the full SAFECOMP paper archive.