FORMAL METHODS FOR ROBUSTNESS CHECKING OF RADIATION-HARDENED-BY-DESIGN MICROELECTRONICS

$200,000FY2009Department of EnergyDOE

Aries Design Automation, Llc

Investigators

View source on USAspending →