CSE
CSE
CSE CSE


Defense Event

Formal Specification and Verification of Reconfigurable Hybrid Systems

Hosung Song


 
Thursday, May 26, 2005
2:00pm - 4:00pm
1200 EECS

Add to Google Calendar

Additional Information

Sponsor(s): K. Compton, W. Rounds

Open to: UM Only