Author:
Harrison Michael D.,Campos José Creissac,Masci Paolo
Publisher
Springer Science and Business Media LLC
Reference42 articles.
1. Amnell T, Behrmann G, Bengtsson J, D’Argenio PR, David A, Fehnker A, Hune T, Jeannet B, Larsen KG, Möller MO, Pettersson P, Weise C, Yi W (2001) UPPAAL-Now, Next, and Future. In: Cassez F, Jard C, Rozoy B, Ryan M (eds) Modelling and Verification of Parallel Processes, number 2067 in Lecture Notes in Computer Science Tutorial, Springer-Verlag, Berlin, pp 100–125
2. Arney D, Kim B, Jetley R, Jones P, Lee I, Ray A, Sokolsky O, Zhang Y (0000) Safety requirements for the generic patient controlled analgesia pump. http://rtg.cis.upenn.edu/gip.php3
3. B. Braun Melsungen AG (2007) B.Braun Infusomat Space User Manual. Technical report, B. Braun Melsungen AG, 34209 Melsungen, Germany
4. Bligard L-A, Osvalder A-L (2007) An analytical approach for predicting and identifying use error and usability problem. In: Holzinger A (ed) Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care, number 4799 in Springer Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp 427–440
5. Bolton ML, Bass EJ (2010) Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs. Innov Syst Softw Eng 6(3):219–231
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献