Author:
Singh Neeraj Kumar,Lawford Mark,Maibaum Thomas S.E.,Wassyng Alan
Publisher
Springer International Publishing
Reference18 articles.
1. Carayon, P., Wood, K.E.: Patient safety. Inf. Knowl. Syst. Manage. 8(1–4), 23–46 (2009)
2. Maisel, W.H., Moynahan, M., Zuckerman, B.D., Gross, T.P., Tovar, O.H., Tillman, D.B., Schultz, D.B.: Pacemaker and ICD generator malfunctions: Analysis of food and drug administration annual reports. JAMA 295(16), 1901–1906 (2006)
3. Boston scientific: pacemaker system specification. Technical report (2007).
http://www.cas.mcmaster.ca/sqrl/SQRLDocuments/PACEMAKER.pdf
4. Dagstuhl seminar 14062: The pacemaker challenge: developing certifiable medical devices (2014)
5. Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献