Author:
Daw Zamira,Cleaveland Rance,Vetter Marcus
Publisher
Springer Science and Business Media LLC
Subject
Health Informatics,Radiology Nuclear Medicine and imaging,General Medicine,Surgery,Computer Graphics and Computer-Aided Design,Computer Science Applications,Computer Vision and Pattern Recognition,Biomedical Engineering
Reference16 articles.
1. Health IT and Patient Safety (2012) Building safer systems for better care. Committee on patient safety and health information technology, Institute of Medicine
2. Lee EA (2006) The problem with threads. Technical report, EECS Department, University of California, Berkeley
3. Baier C, Katoen JP (2008) Principles of model checking (representation and mind series). MIT Press, Cambridge, MA
4. Pazzi L, Pradelli M (2008) A state-based systemic view of behavior for safe medical computer applications. In: Proceedings of the 2008 21st IEEE international symposium on computer-based medical systems, CBMS ’08. IEEE Computer Society, Washington, DC, USA, pp 108–113. doi: 10.1109/CBMS.2008.94
5. Pérez B, Porres I (2008) Verification of clinical guidelines by model checking. In: Proceedings of the 2008 21st IEEE international symposium on computer-based medical systems, CBMS ’08. IEEE Computer Society, Washington, DC, USA, pp 114–119. doi: 10.1109/CBMS.2008.86
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling and Analysing a Mechanical Lung Ventilator in mCRL2;Lecture Notes in Computer Science;2024
2. Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09
3. Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset;Science of Computer Programming;2018-06
4. A systematic literature review of the use of formal methods in medical software systems;Journal of Software: Evolution and Process;2018-02-27
5. An Approach to Semantics for UML Activities;Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017;2017-09-07