From Home Page - Ufuk Topcu
Revision as of 16:06, 3 December 2011 by Utopcu
This page collects links to the workshop, sessions, courses, etc. I have organized or attended.
- EEECI 2011 Short Course: Specification, Design, and Verification of Distributed Embedded Systems
- CDC10 Workshop on Verification of Control Systems
- Caltech Verification and Validation Workshop
- Focused Session on Verification and Validation of Aerospace Systems at AIAA Infotech@Aerospace 2011