Model-Checking Real-Time Transformations

Project: Research

Project Details

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

Research Output

Real-time model-driven engineering: An overview

Amrani, M. & Schobbens, P. Y., 2016, In : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Research output: Contribution to journalArticle