TAS::57 3600::TAS "(DURIP 11) INSTRUMENTATION TO SUPPORT RESEARCH ON FORMAL VERIFICATION AND CONTROL OF UNMANNED VEHICLES"
$235,918FY2011Department of the Air ForceDOD
Trustees Of Boston University, Boston
Investigators
View source on USAspending →TAS::57 3600::TAS "(DURIP 11) INSTRUMENTATION TO SUPPORT RESEARCH ON FORMAL VERIFICATION AND CONTROL OF UNMANNED VEHICLES" · GrantIndex