High-confidence medical device software and systems
Lee, I.; Pappas, G.J.; Cleaveland, R.; Hatcliff, J.; Krogh, B.H.; Lee, P.; Rubin, H.; Sha, L.
- 作者Lee, I.; Pappas, G.J.; Cleaveland, R.; Hatcliff, J.; Krogh, B.H.; Lee, P.; Rubin, H.; Sha, L.
- 卷第39卷
- 期第4期
- 印刷ISSN0018-9162
- 文件大小199.66KB
- 发表时间2006
- DOI10.1109/mc.2006.127
- 页码33-38