TAS::57 3600::TAS 'WORKSHOP ON FORMAL VERIFICATION AND SYNTHESIS FOR HYBRID SYSTEMS'

$42,757FY2017Department of the Air ForceDOD

University Of Texas At Austin, Austin TX

Investigators