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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL'. Sammen danner de et unikt fingeraftryk.

Computer Science

Mathematics