Author:
Harrison Michael D.,Masci Paolo M.,Campos José Creissac,Curzon Paul
Publisher
Springer International Publishing
Reference32 articles.
1. AAMI (2010) Medical devices—application of usability engineering to medical devices. Technical Report ANSI AMI IEC 62366:2007, Association for the advancement of medical instrumentation, 4301 N Fairfax Drive, Suite 301, Arlington VA 22203-1633
2. Abrial JR (2010) Modeling in event-B: system and software engineering. Cambridge University Press
3. Bolton ML, Bass EJ, Siminiceanu RI (2012) Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking. Int J Human-Comput Stud 70:888–906
4. Bowen J, Reeves S (2015) Design patterns for models of interactive systems. In: 2015 24th Australasian software engineering conference (ASWEC). IEEE, pp 223–232
5. Campos JC, Harrison MD (2008) Systematic analysis of control panel interfaces using formal tools. In: Graham N, Palanque P (eds) Interactive systems: design, specification and verification, DSVIS ’08. Springer, no. 5136 in Springer lecture notes in computer science, pp 72–85
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献