Methodology for the Specification of Fault-Tolerant Real-Time Systems
Research Grant
Administered By
Electrical and Computer Engineering
Awarded By
Office of Naval Research
Start Date
August 1, 1991
End Date
April 30, 1992
Administered By
Electrical and Computer Engineering
Awarded By
Office of Naval Research
Start Date
August 1, 1991
End Date
April 30, 1992