Model-Checking Real-Time Transformations

Project: Research

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