Project Details
Description
TIMING AND RACE CONDITION VERIFICATION OF REAL-TIME SYSTEMS TIMING AND RACE CONDITION VERIFICATION OF REAL-TIME SYSTEMS
Status | Finished |
---|---|
Effective start/end date | 1/1/03 → 12/31/03 |
Funding
- NASA: Goddard Space Flight Center: $125,164.00