Project Details
| Status | Active |
|---|---|
| Effective start/end date | 10/1/23 → 9/30/27 |
Funding
- NSF - National Science Foundation
NeTS: Medium: Foundations and Applications of Modular Verification of Networks
- Walker, David P. (PI)
Project: Research project
Project: Research project
| Status | Active |
|---|---|
| Effective start/end date | 10/1/23 → 9/30/27 |