|
Volumn 5, Issue 4, 2004, Pages 299-300
|
Introductory paper
|
Author keywords
Analysis of requirements and designs; Formal methods; Safety of software; Software in medical devices; US Food and Drug Administration
|
Indexed keywords
COMPUTER ASSISTED;
INFUSION PUMP;
MEDICAL DEVICES;
SOFTWARE COMPONENT;
SPECIAL SECTIONS;
US ARMY;
US FOOD AND DRUG ADMINISTRATION;
FORMAL METHODS;
RESUSCITATION;
BIOMEDICAL EQUIPMENT;
|
EID: 84897586048
PISSN: 14332779
EISSN: 14332787
Source Type: Journal
DOI: 10.1007/s10009-003-0131-8 Document Type: Article |
Times cited : (2)
|
References (2)
|