Skip to main navigation
Skip to search
Skip to main content
Help & FAQ
Home
Profiles
Research Units
Projects
Research Outputs
Prizes
Activities
Press / Media
Impacts
Search by expertise, name or affiliation
Reasoning about complex, dynamic systems using formal approaches
Orgun, Mehmet
(Primary Chief Investigator)
Department of Computing
Project
:
Research
Overview
Fingerprint
Project Details
Status
Finished
Effective start/end date
21/07/10
→
14/01/11
View all
View less