Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Departments and Centers
Scholarly Works
Activities
Equipment
Grants
Prizes
Search by expertise, name or affiliation
ICorps: Formal Specification Driven Verification and Validation Framework for CyberPhysical Systems
Fainekos, Georgios
(PI)
IAFSE-CIDSE: Computer Science and Engineering
Project
:
Research project
Overview
Project Details
Status
Finished
Effective start/end date
9/1/14
→
2/28/15
Funding
National Science Foundation (NSF):
$50,000.00
View all
View less