Tuesday, February 19, 2008
4:00 PM -
5:30 PM
Moore 239
Mathematics of Information Seminar
Formal Verification of Hybrid Systems
"Formal Verification of Hybrid Systems," Sayan Mitra, postdoctoral scholar, Center for the Mathematics of Information, Caltech.
Event Sponsors:
For more information, please contact Maria Lopez by phone at 626.395.3034 or by email at [email protected].