SCALABLE FORMAL VERIFICATION OF RESILIENT CONVERTER-DOMINATED MVDC NETWORKS

$459,413FY2018Department of the NavyDOD

University Of Texas At Arlington, Arlington TX

Investigators