Browsing by Author Michael Douglas Harrison

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 10 of 10
Issue DateTitleAuthor(s)
2014Analysing interactive devices based on information resource constraintsJosé Creissac Campos; Doherty,G; Michael Douglas Harrison
2013Automated theorem proving for the systematic analysis of an infusion pumpMichael Douglas Harrison; Paolo Masci; José Creissac Campos; Curzon,P
2016Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-webFayollas,Camille; Martinie,Celia; Palanque,PhilippeA.; Paolo Masci; Michael Douglas Harrison; José Creissac Campos; Silva,SauloRodriguese
2016Formal Verification of a Space System's User Interface With the IVY WorkbenchJosé Creissac Campos; Sousa,M; Bergue Alves,MCB; Michael Douglas Harrison
2014Formal verification of safety-critical user interfaces: A space system case studySousa,M; José Creissac Campos; Alves,M; Michael Douglas Harrison
2016Modelling information resources and their salience in medical device designMichael Douglas Harrison; José Creissac Campos; Ruksenas,R; Curzon,P
2014Prototyping and analysing ubiquitous computing environments using multiple layersJosé Luís Silva; José Creissac Campos; Michael Douglas Harrison
2014Rapid development of first person serious games using the APEX platform: The Asthma GameGomes,T; Abade,T; José Creissac Campos; Michael Douglas Harrison; José Luís Silva
2016Templates as heuristics for proving properties of medical devicesMichael Douglas Harrison; José Creissac Campos; Paolo Masci; Curzon,P
2014A Virtual Environment based Serious Game to Support Health EducationGomes,T; Abade,T; José Creissac Campos; Michael Douglas Harrison; Silva,JL