Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Session Cookies
About Us
Alerts
Contact
Ordering Info
Help
Log in
Home
FnTs
Journals
Books
NowOpen
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