Skip to main content
Help & FAQ
Home
Profiles
Research Units
Grants
Research Output
Activities
Press and Media
Prizes
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
Status
Finished
Effective start/end date
2/19/16
→
3/16/16
Funding
Parsons
Parsons
View all
View less