Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools
Title | Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools |
Publication Type | Conference Paper |
Year of Publication | 2005 |
Authors | Sprinkle, J, Shakernia, O, Miller, R, S. Sastry, S |
Conference Name | IEEE Aerospace Conference, Verification and Validation |
Date Published | March |
URL | http://dx.doi.org/10.1109/AERO.2005.1559595 |