TIMING AND RACE CONDITION VERIFICATION OF REAL-TIME SYSTEMS

  • Lee, Yann-Hang (PI)

Project: Research project

Project Details

Description

TIMING AND RACE CONDITION VERIFICATION OF REAL-TIME SYSTEMS TIMING AND RACE CONDITION VERIFICATION OF REAL-TIME SYSTEMS
StatusFinished
Effective start/end date1/1/0312/31/03

Funding

  • NASA: Goddard Space Flight Center: $125,164.00