Amount refers to both the amount of stimulus funding going toward the project and the face value of the loan.
| Recipient |
Amount |
Type |
Federal Dept./Agency |
Date |
| SRI INTERNATIONAL
|
$805,089 |
Contract |
National Aeronautics and Space Administration / Ames Research Center |
8/06/2010 |
|
: The project Evidential Tool Bus for Flight-Critical Software Systems focuses on model-based assurance of flight-critical systems. For this purpose, we develop a tool integration platform for integrating a range of model-based analysis tools, and we enhan
|
