Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED ProjectHarold W. Thimbleby,Patrick Oladimeji,Paolo Masci,Enrico D'Urso,Rimvydas Ruksenas,Paul Curzoncomputer aided verification(2014)引用 23|浏览66暂无评分AI 理解论文溯源树样例生成溯源树,研究论文发展脉络