Scholars@Duke

Search form

Search

Advanced Search

Support
Index
Subscribe to Announcements

Menu Search

Home
People
Schools / Institutes
Research
About

Home
People
Schools / Institutes
Research

International Journal on Software Tools for Technology Transfer

Publication Venue For
- Closed-loop verification of medical devices with model abstraction and refinement. 16:191-213. 2014

About
Support
Index
Manage Scholars Data

©2022 Duke University | Terms of Use | Powered by VIVO