Author:
Masci Paolo,Rukšėnas Rimvydas,Oladimeji Patrick,Cauchi Abigail,Gimblett Andy,Li Yunqiu,Curzon Paul,Thimbleby Harold
Publisher
Springer Science and Business Media LLC
Reference36 articles.
1. List of errorprone abbreviations, symbols and dose designations (2006). http://www.ismp.org/tools/abbreviations/
2. Arney D, Jetley R, Jones P, Lee I, Sokolsky O (2007) Formal methods based development of a PCA infusion pump reference model: generic infusion pump (GIP) project. In: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability 0, pp 23–33. doi: 10.1109/HCMDSS-MDPnP.2007.36
3. B-Braun Melsungen AG: Infusomat space and accessory: Instruction for use
4. Back J, Brumby DP, Cox AL (2010) Locked-out: investigating the effectiveness of system lockouts to reduce errors in routine tasks. In: Proceedings of the 28th of the international conference extended abstracts on Human factors in computing systems, CHI EA ’10. ACM, New York, pp 3775–3780. doi: 10.1145/1753846.1754054
5. Bass EJ, Feigh KM, Gunter EL, Rushby JM (2011) Formal modeling and analysis for interactive hybrid systems. ECEASST 45
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献