Skip to main navigation
Skip to search
Skip to main content
Experts@Syracuse Home
Help & FAQ
Home
Profiles
Research Units
Equipment
Grants
Research output
Activities
Press and Media
Prizes
Search by expertise, name or affiliation
Technical Evaluation of Formal Methods Model/Proofs and Support of Specification Red Team Event
Chin, Shiu Kai
(PI)
Department of Electrical Engineering & Computer Science
Project
:
Research project
Overview
Project Details
Status
Finished
Effective start/end date
2/19/16
→
3/16/16
Funding
Parsons
View all
View less