Document Type
Journal Article
Subject Area
CPS Medical, CPS Model-Based Design, CPS Formal Methods
Date of this Version
11-12-2015
Publication Source
IEEE Computer 2016
Recommended Citation
1. Z. Jiang, H. Abbas, K. Jang, R. Mangharam, “The Challenges of High-Confidence Medical Device Software”, IEEE Computer January Outlook, 2016.
Bib Tex
@article{JiangIEEEComputer16,
Author={Z. JIang, H. Abbas, K. Jang, R. Mangharam},
Title={The Challenges of High-Confidence Medical Device Software},
Journal={IEEE Computer January Outlook},
Year={2016}
}
Date Posted: 12 November 2015