Project Details
Description
Compositional Verification of Flight Critical Systems
Status | Finished |
---|---|
Effective start/end date | 6/1/13 → 4/21/16 |
Funding
- Rockwell Collins, Inc.
- Nat'l Aeronautics & Space Admin. (NASA)
Project: Research project
Status | Finished |
---|---|
Effective start/end date | 6/1/13 → 4/21/16 |