Modelling different CPU power states in VDM-RT

Authors :: Jose Antonio Esparza Isasa
Peter Gorm Larsen
Pierce, K
Hallerstede, S
Source :: Aarhus University, Esparza Isasa, J A & Larsen, P G 2013, Modelling different CPU power states in VDM-RT . in K Pierce & S Hallerstede (eds), Proceedings of the 11th Overture Workshop, 2013 . Aarhus University, Department of Engineering, 11th Overture Workshop, Århus, Denmark, 28/08/2013 . < http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf >

Database :: OpenAIRE
Journal :: Aarhus University, Esparza Isasa, J A & Larsen, P G 2013, Modelling different CPU power states in VDM-RT . in K Pierce & S Hallerstede (eds), Proceedings of the 11th Overture Workshop, 2013 . Aarhus University, Department of Engineering, 11th Overture Workshop, Århus, Denmark, 28/08/2013 . < http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf >
Accession number :: edsair.dedup.wf.001..43b2dc249d997da013a58a402fb75716

Tools