Peter Gorm Larsen

Modelling different CPU power states in VDM-RT

Research output: ResearchArticle in proceedings

Original languageEnglish
Title of host publicationProceedings of the 11th Overture Workshop, 2013
EditorsK Pierce, S Hallerstede
Number of pages7
PublisherAarhus University, Department of Engineering
Publication year2013
StatePublished - 2013
Event11th Overture Workshop - Århus, Denmark
Duration: 28 Aug 201329 Aug 2013

Workshop

Workshop11th Overture Workshop
LandDenmark
ByÅrhus
Periode28/08/201329/08/2013

See relations at Aarhus University Citationformats

ID: 69068661