Peter Gorm Larsen

Modelling a Smart Grid System-of-Systems using VDM

Research output: ResearchArticle in proceedings

Original languageEnglish
Title of host publicationProceedings of The 11th Overture Workshop, 2013
EditorsK Pierce, S Hallerstede
Number of pages6
Publication year2013
StatePublished - 2013

See relations at Aarhus University Citationformats

ID: 69068309