1
TÍTULO: A use error taxonomy for improving human-machine interface design in medical devices  Full Text
AUTORES: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: SIGBED Review, VOLUME: 16, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 2
2
TÍTULO: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469
INDEXADO EM: Scopus DBLP CrossRef: 4
3
TÍTULO: Formal Verification of Medical Device User Interfaces Using PVS
AUTORES: Paolo Masci ; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411
INDEXADO EM: Scopus DBLP CrossRef: 10