Peter Gorm Larsen

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

Research output: Contribution to conferencePaperResearchpeer-review

    Kenneth Lausdahl, DenmarkJ W Coleman, AU School of Engineering, Denmark
  • Peter Gorm Larsen
Original languageEnglish
Publication yearAug 2012
Number of pages8
StatePublished - Aug 2012
Event10th overture workshop : FM 2012 Symposium - 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