Activities

From Home Page - Ufuk Topcu

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

Random slides and links