IST Lunch Bunch

Tuesday February 23, 2010 12:00 PM

Specification, Design and Verification of Distributed, Real-Time, Embedded Systems: Application to an Autonomous Vehicle

Speaker: Nok Wongpiromsarn, Caltech
Location: Annenberg 105
"Specification, Design and Verification of Distributed, Real-Time, Embedded Systems: Application to an Autonomous Vehicle," Nok Wongpiromsarn, graduate student in mechanical engineering, Caltech.
Series IST Lunch Bunch

Contact: Sydney Garstang at x2813 sydney@caltech.edu
For more information visit: http://www.cs.caltech.edu/seminars/lunch_bunch.html