Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools

TitleUsing the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools
Publication TypeConference Paper
Year of Publication2005
AuthorsSprinkle, J, Shakernia, O, Miller, R, S. Sastry, S
Conference NameIEEE Aerospace Conference, Verification and Validation
Date PublishedMarch
URLhttp://dx.doi.org/10.1109/AERO.2005.1559595