← SearchSCALABLE FORMAL VERIFICATION OF RESILIENT CONVERTER-DOMINATED MVDC NETWORKS$459,413FY2018Department of the NavyDODUniversity Of Texas At Arlington, Arlington TXInvestigatorsView source on USAspending →