Login

Project

#238 Modeling and Correctness Verification of Transportation Logic


Principal Investigator
André Platzer
Status
Completed
Start Date
Jan. 1, 2014
End Date
Dec. 31, 2014
Project Type
Research Advanced
Grant Program
MAP-21 TSET - Tier 1 (2012 - 2016)
Grant Cycle
2014 TSET UTC
Visibility
Public

Abstract

-    
Description
-
Timeline
-
Strategic Description / RD&T

    
Deployment Plan
-
Expected Outcomes/Impacts
-
Expected Outputs

    
TRID


    

Individuals Involved

Email Name Affiliation Role Position
aplatzer@cs.cmu.edu Platzer, André CS PI Faculty - Tenured

Budget

Amount of UTC Funds Awarded
$25000.00
Total Project Budget (from all funding sources)
$25000.00

Documents

Type Name Uploaded

Match Sources

No match sources!

Partners

No partners!