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)
OriginalsprogEngelsk
TitelIFAC Proceedings Volumes (IFAC-PapersOnline)
Antal sider7
Vol/bind18
ForlagElsevier
Publikationsdato1 jan. 2011
Sider12496-12502
ISBN (Trykt)9783902661937
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed18th IFAC World Congress - Milano, Italien
Varighed: 28 aug. 20112 sep. 2011

Konference

Konference18th IFAC World Congress
LandItalien
ByMilano
Periode28/08/201102/09/2011

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

Citationsformater