TAS::57 3600::TAS "FASTER: FORMAL METHODS BASED COMPUTER-AIDED SYNTHESIS OF STOCHASTIC OF INEXACT IN-MEMORY COMPUTING SYSTEMS"
$240,000FY2016Department of the Air ForceDOD
The University Of Central Florida Board Of Trustees, Orlando FL
The University Of Central Florida Board Of Trustees, Orlando FL