Skip to main navigation
Skip to search
Skip to main content
Arizona State University Home
Home
Profiles
Departments and Centers
Scholarly Works
Activities
Equipment
Grants
Datasets
Prizes
Search by expertise, name or affiliation
TIMING AND RACE CONDITION VERIFICATION OF REAL-TIME SYSTEMS
Lee, Yann-Hang
(PI)
Computer Science and Engineering
Project
:
Research project
Overview
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
View all
View less