Model-Based Verification of Complex Systems

Speaker

Ufuk Topcu

Date and Location

Friday November 20, 2009 3:00pm to 4:00pm
1104 HFH