Project Details
Description
A Catalytic Infrastructure for the Design, Development, and Deployment of Formal Modeling Tools
| Status | Finished |
|---|---|
| Effective start/end date | 9/15/04 → 8/31/08 |
Funding
- THE NATIONAL SCIENCE FOUNDATION
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.