Author:
Maudoux Guillaume,Pecheur Charles,Combéfis Sébastien
Publisher
Springer International Publishing
Reference21 articles.
1. Blandford A, Cauchi A, Curzon P, Eslambolchilar P, Furniss D, Gimblett A, Huang H, Lee P, Li Y, Masci P, Oladimeji P, Rajkomar A, Rukšėnas R, Thimbleby H (2011) Comparing actual practice and user manuals: a case study based on programmable infusion pumps. In: Proceedings of the 1st international workshop on engineering interactive computing systems for medecine and health care (EICS4Med 2011)
2. Bolton ML, Bass EJ, Siminiceanu RI (2008) Using formal methods to predict human error and system failures. In: Proceedings of the second international conference on applied human factors and ergonomics (AHFE 2008)
3. Buth B (2004) Analysing mode confusion: an approach using FDR2. In: Heisel M, Liggesmeyer P, Wittmann S (eds) Proceedings of the 23rd international conference on computer safety, reliability and security (SAFECOMP 2004). Lecture notes in computer science, vol 3219. Springer, pp 101–114
4. Campos JC, Harrison MD (2008) Systematic analysis of control panel interfaces using formal tools. In: Graham TCN, Palanque PA (eds) Proceedings of the 15th international workshop on design, specification and verification of interactive systems (DSV-IS 2008). Lecture notes in computer science, vol 5136. Springer, pp 72–85
5. Campos JC, Harrison MD, Loer K (2004) Verifying user interfaces behaviour with model checking. In: Augusto JC, Ultes-Nitsche U (eds) Proceedings of the 2nd international workshop on verification and validation of enterprise information systems (VVEIS 2004). INSTICC Press, pp 87–96
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献