Browsing by Author Michael Douglas Harrison
Showing results 1 to 10 of 10
Issue Date | Title | Author(s) |
2014 | Analysing interactive devices based on information resource constraints | José Creissac Campos; Doherty,G; Michael Douglas Harrison |
2013 | Automated theorem proving for the systematic analysis of an infusion pump | Michael Douglas Harrison; Paolo Masci; José Creissac Campos; Curzon,P |
2016 | Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web | Fayollas,Camille; Martinie,Celia; Palanque,PhilippeA.; Paolo Masci; Michael Douglas Harrison; José Creissac Campos; Silva,SauloRodriguese |
2016 | Formal Verification of a Space System's User Interface With the IVY Workbench | José Creissac Campos; Sousa,M; Bergue Alves,MCB; Michael Douglas Harrison |
2014 | Formal verification of safety-critical user interfaces: A space system case study | Sousa,M; José Creissac Campos; Alves,M; Michael Douglas Harrison |
2016 | Modelling information resources and their salience in medical device design | Michael Douglas Harrison; José Creissac Campos; Ruksenas,R; Curzon,P |
2014 | Prototyping and analysing ubiquitous computing environments using multiple layers | José Luís Silva; José Creissac Campos; Michael Douglas Harrison |
2014 | Rapid development of first person serious games using the APEX platform: The Asthma Game | Gomes,T; Abade,T; José Creissac Campos; Michael Douglas Harrison; José Luís Silva |
2016 | Templates as heuristics for proving properties of medical devices | Michael Douglas Harrison; José Creissac Campos; Paolo Masci; Curzon,P |
2014 | A Virtual Environment based Serious Game to Support Health Education | Gomes,T; Abade,T; José Creissac Campos; Michael Douglas Harrison; Silva,JL |