Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools
Jonathan Sprinkle, Omid Shakernia, Robert Miller, Shankar Sastry
IEEE Aerospace Conference, Verification and Validation
Jan 2005
Jonathan Sprinkle, Omid Shakernia, Robert Miller, Shankar Sastry
IEEE Aerospace Conference, Verification and Validation
Jan 2005