Author:
King Andrew L.,Feng Lu,Sokolsky Oleg,Lee Insup
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design 15(1), 7–48 (1999)
2. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: 20 years of modal and mixed specifications. European Association for Theoretical Computer Science. Bulletin (95) (2008)
3. Arney, D., Goldman, J.M., Whitehead, S.F., Lee, I.: Synchronizing an x-ray and anesthesia machine ventilator: A medical device interoperability case study (2009)
4. Arney, D., Jetley, R., Jones, P., Lee, I., Sokolsky, O.: Formal methods based development of a pca infusion pump reference model: Generic infusion pump (gip) project. In: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS-MDPnP, pp. 23–33. IEEE (2007)
5. Medical devices and medical systems - essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ice),
http://enterprise.astm.org/filtrexx40.cgi?+REDLINE_PAGES/F2761.htm
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献