New Developments in Model-Integrated Development of High-Confidence Software
Thu, 04/28/2011 - 11:17am
| Title | New Developments in Model-Integrated Development of High-Confidence Software |
| Publication Type | Miscellaneous |
| Year of Publication | 2010 |
| Authors | Porter, J., G. Hemingway, N. Kottenstette, H. Nine, C. vanBuskirk, G. Karsai, and J. Sztipanovits |
| Refereed Designation | Does Not Apply |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering