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.
- NATIONAL AERONAUTICS & SPACE ADMIN
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.