Publications

Export 1 results:
Author Keyword [ Title(Asc)] Type Year
Filters: Author is Omid Shakernia  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
U
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.