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)
Original languageEnglish
Title of host publicationIFAC Proceedings Volumes (IFAC-PapersOnline)
Number of pages7
Volume18
PublisherElsevier
Publication date1 Jan 2011
Pages12496-12502
ISBN (Print)9783902661937
DOIs
Publication statusPublished - 1 Jan 2011
Event18th IFAC World Congress - Milano, Italy
Duration: 28 Aug 20112 Sep 2011

Conference

Conference18th IFAC World Congress
CountryItaly
CityMilano
Period28/08/201102/09/2011

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

Cite this