|
[HCP+24]
Isabella Holloman, Austin Campbell, Neha Pavuluru, Sergio Darquea, Gabriel A Lawrence and Matthew L. Bolton.
Provably Clean: A Formal Analysis of Hand Hygiene During Anesthesiology Induction.
In Proc. Systems and Information Engineering Design Symposium (SIEDS'24).
2024.
[Analyses the safety of anesthesiology induction protocols using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|