Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 02/1/01 → 01/31/05 |
Funding
- US Army Research Office: $408,000.00
ADVANCED FORMAL METHODS FOR REACTIVE SYSTEMS ENGINEERING
- Smolka, Scott (CoPI)
- Stark, Eugene (CoPI)
- Cleaveland, W. (PI)
Project: Research