Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems
暂无分享,去创建一个
Lui Sha | Yu Jiang | Po-Liang Wu | Richard B. Berlin | Andrew Y.-Z. Ou | L. Sha | Po-Liang Wu | Yu Jiang
[1] J F Toole,et al. Validation of the ACAS TIA/stroke algorithm , 1997, Neurology.
[2] Michael D. Harrison,et al. Modelling and analysing the interactive behaviour of an infusion pump , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
[3] Y. Donchin,et al. A look into the nature and causes of human errors in the intensive care unit , 2022 .
[4] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[5] Nathan Shapiro,et al. The costs and cost-effectiveness of an integrated sepsis treatment protocol , 2008, Critical care medicine.
[6] Philippe A. Palanque,et al. Validating interactive system design through the verification of formal task and system models , 1995, EHCI.
[7] Daniel Talmor,et al. Implementation and outcomes of the Multiple Urgent Sepsis Therapies (MUST) protocol* , 2006, Critical care medicine.
[8] D. Bates,et al. The Critical Care Safety Study: The incidence and nature of adverse events and serious medical errors in intensive care* , 2005, Critical care medicine.
[9] Philippe A. Palanque,et al. A tool-supported design framework for safety critical interactive systems , 2003, Interact. Comput..
[10] Ellen J. Bass,et al. A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[11] Natarajan Shankar,et al. The SAL Language Manual , 2003 .
[12] Nancy G. Leveson,et al. An investigation of the Therac-25 accidents , 1993, Computer.
[13] Daniel Talmor,et al. A blueprint for a sepsis protocol. , 2005, Academic emergency medicine : official journal of the Society for Academic Emergency Medicine.
[14] S.P. Miller,et al. Mode confusion analysis of a flight guidance system using formal methods , 2003, Digital Avionics Systems Conference, 2003. DASC '03. The 22nd.
[15] Roger D. White,et al. Part 8: adult advanced cardiovascular life support: 2010 American Heart Association Guidelines for Cardiopulmonary Resuscitation and Emergency Cardiovascular Care. , 2010, Circulation.
[16] Nancy Strzyzewski,et al. Common Errors Made in Resuscitation of Respiratory and Cardiac Arrest , 2006, Plastic surgical nursing : official journal of the American Society of Plastic and Reconstructive Surgical Nurses.