Skip to main navigation
Skip to search
Skip to main content
University of Strathclyde Home
Help & FAQ
Home
Profiles
Research Units
Research output
Projects
Datasets
Equipment
Student theses
Impacts
Prizes
Activities
Search by expertise, name or affiliation
COVER: COalgebraic Foundations for Quantitative VERification
Kupke, Clemens
(Principal Investigator)
Ocean, Air and Space
Measurement Science and Enabling Technologies
Energy
Computer And Information Sciences
Project
:
Research
Overview
Project Details
Status
Active
Effective start/end date
1/11/20
→
31/10/23
Funding
Leverhulme Trust:
£203,851.00
View all
View less