Affiliation:
1. University of Bergamo; Bergamo Italy
2. Software Competence Center Hagenberg GmbH; Austria
Funder
Bundesministerium für Verkehr, Innovation und Technologie
Bundesministerium für Wissenschaft, Forschung und Wirtschaft
Province of Upper Austria in the frame of the COMET center SCCH
Reference161 articles.
1. Formal methods-based verification of medical device software analysis;Jones;Electron Eng Times,2010
2. Tirat-Gefen YG Formal methods in verification of medical devices towards hybrid nano- and microsystems 2006 Easton, PA 139 140
3. Use of formal methods in medical decision making: a survey and analysis;Böckenholt;Med Decis Making,1992
4. Improving verification & validation in the medical device domain;Sivakumar;Commun Comput Inf Sci,2011
5. FDA-regulated validation in clinical and nonclinical environments (Regulatory Affairs);Curls;IEEE Eng Med Biol Mag,2007
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献