|
Volumn , Issue , 2009, Pages 52-60
|
Synchronizing an x-ray and anesthesia machine ventilator: A medical device interoperability case study
|
Author keywords
Checking apnea; Formal methods; Interoperable interconnected medical devices; MDPnP interoperability; Patient safety; Plug and play; Verification model; X ray ventilator
|
Indexed keywords
CHECKING APNEA;
MDPNP INTEROPERABILITY;
PATIENT SAFETY;
PLUG-AND-PLAY;
VERIFICATION MODEL;
X-RAY VENTILATOR;
ANESTHESIOLOGY;
FORMAL METHODS;
INTERCONNECTION NETWORKS;
MODEL CHECKING;
STANDARDIZATION;
X RAYS;
INTEROPERABILITY;
|
EID: 67650547256
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (13)
|
References (6)
|