[ZBDL17]
Xi Zheng, Matthew L. Bolton, Christopher Daly and Lu Feng.
A Formal Human Reliability Analysis of a Community Pharmacy Dispensing Procedure.
In Proc. Human Factors and Ergonomics Society 2017 Annual Meeting, pages 728-732.
2017.
[Uses probabilistic model checking and PRISM to predict medication error rates and explore interventions in pharmacy dispensing procedures.]
|