Formal verification of software-based medical devices considering medical guidelines

被引：0
作者：
Zamira Daw
Rance Cleaveland
Marcus Vetter
机构：
[1] Hochschule Mannheim,EMB
[2] University of Applied Sciences,Lab
[3] University of Maryland,Department of Computer Science
来源：
International Journal of Computer Assisted Radiology and Surgery | 2014年 / 9卷
关键词：
Software design; Clinical workflow analysis; Software verification; Model-checking; UML models;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：145 / 153
页数：8
相关论文
共 6 条
[1]  
Holzmann CJ(1997)The model checker SPIN IEEE Trans Softw Eng 23 279-295
[2]  
Maruster L(2005)From data to knowledge: a method for modeling hospital logistic processes IEEE Trans Inf Technol Biomed 9 248-255
[3]  
Jorna RJ(1983)Communicating sequential processes Commun ACM 26 100-106
[4]  
Hoare CAR(1994)A theory of timed automata Theor Comput Sci 126 183-235
[5]  
Alur R(undefined)undefined undefined undefined undefined-undefined
[6]  
Dill DL(undefined)undefined undefined undefined undefined-undefined
1