Browsing by Author Harrison,MD
Showing results 1 to 9 of 9
Issue Date | Title | Author(s) |
2014 | Demonstrating that Medical Devices Satisfy User Related Safety Requirements | Harrison,MD; Paolo Masci; José Creissac Campos; Curzon,P |
2017 | Don't go in there! using the APEX framework in the design of ambient assisted living systems | Abade,T; Harrison,MD; Silva,JL; José Creissac Campos; 5599 |
2018 | Formal Modelling as a Component of User Centred Design | Paolo Masci; Harrison,MD; José Creissac Campos; 6577; 5599 |
2019 | Formal techniques in the safety analysis of software components of a new dialysis machine | Harrison,MD; Whitaker,M; di Maria,C; Paolo Masci; José Creissac Campos; Drinnan,M; Freitas,L; 6577; 5599 |
2019 | Formal verification of interactive computing systems: Opportunities and challenges | José Creissac Campos; Harrison,MD; 5599 |
2017 | Safety Analysis of Software Components of a Dialysis Machine Using Model Checking | Harrison,MD; Drinnan,M; José Creissac Campos; Paolo Masci; Freitas,L; Maria,Cd; Whitaker,M |
2015 | Supporting the design of an ambient assisted living system using virtual reality prototypes | José Creissac Campos; Abade,T; José Luís Silva; Harrison,MD |
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 |
2019 | Verification Templates for the Analysis of User Interface Software Design | Masci,P; Harrison,MD; José Creissac Campos; 5599 |