Model-Checking Real-Time Transformations

Project: Research

Project Details

AcronymMoCReTT
StatusFinished
Effective start/end date1/10/1430/09/16

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.