Publications

Export 1 results:
Author Keyword Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is M and Author is Robert Miller  [Clear All Filters]
Conference Paper
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.