Award Search Results
| Title | Firm | Award Amount | State | Mission Directorate | Center | Year |
|---|---|---|---|---|---|---|
T1.01-9874 (STTR 2003-1)
A Formal Method for Verification and Validation of Neural Network High Assurance Systems
|
PROLOGIC INC Ken Snyder,
ksnyder@prologic-inc.com
|
$99,963.03 | WV | Small Business Technology Transfer | ARC | 2003 |
