Awards per year
NSF TIP Awards
- 1 Finished
-
SBIR Phase II: RV-Embedded: Runtime Verification for Embedded Systems
MacKay, P. S. (PI), Guth, D. (Former PI) & Hathhorn, C. (Former PI)
03/15/17 → 05/31/22
Project: Research