A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL

D.E. Nadales Agut, M.A. Reniers, R.R.H. Schiffelers, Kenneth Yrke Jørgensen, D.A. Van Beek

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL'. Together they form a unique fingerprint.

Computer Science