Visible to the public Biblio

Filters: Author is Paul Curzon  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold Thimbleby.  2013.  Model-based development of the Generic PCA infusion pump user interface within PVS. Proceedings of the 32$^{nd}$ International Conference on Computer Safety, Reliability and Security (SAFECOMP '13).