Peter Gorm Larsen

Extending VDM-RT to Enable the Formal Modelling of System of Systems

Research output: Research - peer-reviewPaper

Original languageEnglish
Publication year2012
Number of pages6
DOIs
StatePublished - 2012
EventInternational Conference on System of Systems Engineering, - Genoa, Italy
Duration: 16 Jul 201219 Jul 2012
Conference number: 7th

Conference

ConferenceInternational Conference on System of Systems Engineering,
Number7th
CountryItaly
CityGenoa
Period16/07/201219/07/2012

See relations at Aarhus University Citationformats

ID: 52417962