Model-based development of the Generic PCA infusion pump user interface within PVS
| Title | Model-based development of the Generic PCA infusion pump user interface within PVS |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold Thimbleby |
| Conference Name | Proceedings of the 32$^nd$ International Conference on Computer Safety, Reliability and Security (SAFECOMP '13) |
| Keywords | 1035715 |
| Citation Key | Masci2013safecomp |