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 |
