Author:
Masci Paolo,Zhang Yi,Jones Paul,Curzon Paul,Thimbleby Harold
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. AAMI Medical Device Software Committee. Medical device software risk management. AAMI Tech. Rep. TIR32:2004 (2004)
2. Lecture Notes in Computer Science;T. Ball,2004
3. Bolton, M.L., Bass, E.J.: Formally verifying human-automation interaction as part of a system model: Limitations and tradeoffs. Innovations in Systems and Software Engineering 6(3), 219–231 (2010)
4. Campos, J.C., Harrison, M.D.: Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST (2011)
5. Cauchi, A., Gimblett, A., Thimbleby, H., Curzon, P., Masci, P.: Safer 5-key number entry user interfaces using differential formal analysis. In: BCS-HCI (2012)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献