Peter Gorm Larsen

Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim

Research output: Research - peer-reviewPaper

  • Kenneth Lausdahl
    Kenneth LausdahlDenmark
  • J W Coleman
    J W ColemanAU School of EngineeringDenmark
  • Peter Gorm Larsen
Original languageEnglish
Publication yearAug 2012
Number of pages8
StatePublished - Aug 2012
Event10th overture workshop - Paris, France
Duration: 28 Aug 201228 Aug 2012

Conference

Conference10th overture workshop
CountryFrance
CityParis
Period28/08/201228/08/2012

See relations at Aarhus University Citationformats

ID: 48492558