Dissertation Defense

Formal Specification and Verification of Reconfigurable Hybrid Systems

Hosung Song
SHARE:

Sponsored by

K. Compton, W. Rounds