DocumentCode :
2667597
Title :
Formal Methods And Their Potential For Achieving Highly Dependable Computer Based Medical Applications
Author :
McHugh, John
Author_Institution :
Computational Logic, Inc.
fYear :
1988
fDate :
29-30 Sept. 1988
Firstpage :
127
Lastpage :
131
Keywords :
Application software; Biomedical equipment; Computer aided instruction; Computer applications; Formal languages; Hardware; History; Medical services; Programming; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Policy Issues in Information and Communication Technologies in Medical Applications, 1988. Symposium Record
Conference_Location :
Rockville, MD, USA
Type :
conf
DOI :
10.1109/ICTMA.1988.669599
Filename :
669599
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2667597
بازگشت