Project Details
Description
ICorps: Formal Specification Driven Verification and Validation Framework for CyberPhysical Systems I-CORP Teams: Formal Specification Driven Verification and Validation Framework for Cyber-Physical Systems
| Status | Finished |
|---|---|
| Effective start/end date | 9/1/14 → 2/28/15 |
Funding
- National Science Foundation (NSF): $50,000.00
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.