Browsing by Author Curzon,P
Showing results 1 to 6 of 6
Issue Date | Title | Author(s) |
2013 | Automated theorem proving for the systematic analysis of an infusion pump | Michael Douglas Harrison; Paolo Masci; José Creissac Campos; Curzon,P |
2014 | Demonstrating that Medical Devices Satisfy User Related Safety Requirements | Harrison,MD; Paolo Masci; José Creissac Campos; Curzon,P |
2015 | Early identification of software causes of use-related hazards in medical devices | Curzon,P; Thimbleby,H; Paolo Masci |
2016 | Modelling information resources and their salience in medical device design | Michael Douglas Harrison; José Creissac Campos; Ruksenas,R; Curzon,P |
2016 | Templates as heuristics for proving properties of medical devices | Michael Douglas Harrison; José Creissac Campos; Paolo Masci; Curzon,P |
2017 | Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices | Harrison,MD; Paolo Masci; José Creissac Campos; Curzon,P |