A model-driven development and verification approach for medical devices
Master of Science === Department of Computing and Information Sciences === John Hatcliff === Medical devices are safety-critical systems whose failure may put human life in danger. They are becoming more advanced and thus more complex. This leads to bigger and more complicated code-bases that are ha...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
Kansas State University
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2097/18222 |