Events Calendar
-
[ April 16, 2012]
On Verification of Embedded Systems: Transition Relations and Traces
10:00-11:00am | Yong Wang -
[ April 12, 2012]
Roles of Control and System Identification in Developing a Next Generation of CT Scanner
2:00-3:00pm | Jiandong Wang