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.
Compositional Verification of Flight Critical Systems
- Whalen, Michael W (PI)
- Heimdahl, Mats (CoI)
Project: Research project