Publications

Export 1 results:
Author Keyword Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is S and Author is Omid Shakernia  [Clear All Filters]
2005
J. Sprinkle, Shakernia, O., Miller, R., and S. Sastry, S., “Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools”, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.