[go: up one dir, main page]

Topic

Program Verification (1) Risk Analysis (1) Software Model Checking (1) Test (1) Verification (1)

Journal

Foundations and Trends® in Electronic Design Automation (1)

Year

2015 (1)

Article Type

review article (1)

Platform

Your search returned 1 results
review article

High-Confidence Medical Device Software Development

 Zhihao Jiang | Rahul Mangharam
Journal: Foundations and Trends® in Electronic Design Automation, Volume 9, Issue 4