Dissertation Defense

Formal Specification and Verification of Reconfigurable Hybrid Systems

Name: Formal Specification and Verification of Reconfigurable Hybrid Systems
Start: 2005-05-26T14:00:00-04:00
End: 2005-05-26T14:00:00-04:00

Hosung Song

WHEN:

Thursday, May 26, 2005 @ 2:00 pm
Add to Google Calendar

Events

Dissertation Defense

Formal Specification and Verification of Reconfigurable Hybrid Systems

Sponsored by