Author:
Masci Paolo,Oladimeji Patrick,Zhang Yi,Jones Paul,Curzon Paul,Thimbleby Harold
Publisher
Springer International Publishing
Reference51 articles.
1. Simone, L.: Software-related recalls: an analysis of records. Biomed. Instrum. Technol. 47(6), 514–522 (2013)
2. US Food and Drug Administration (FDA), Manufacturer and User Facility Device Experience Database (MAUDE).
http://www.fda.gov/MedicalDevices/DeviceRegulationandGuidance/PostmarketRequirements/ReportingAdverseEvents/ucm127891.htm
3. Gelman, G., Feigh, K., Rushby, J.: Example of a complementary use of model checking and human-performance simulation. IEEE Trans. Hum. Mach. Syst. 44(5), 576–590 (2014)
4. Millett, L., Thomas, M., Jackson, D., et al.: Software for Dependable Systems: Sufficient Evidence?. National Academies Press, Washington, DC (2007)
5. Lecture Notes in Computer Science;S Owre,1992
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献