← SearchTAS::57 3600::TAS "(YIP) REUSABLE FORMAL VERIFICATION FOR CYBER-PHYSICAL SYSTEMS"$114,808FY2016Department of DefenseDODUniversity Of Texas At Arlington, Arlington TXInvestigatorsView source on USAspending →