Using Probabilistic Model Checking for Dynamic Power Management.   Technical Report DSSE-TR-2003-2

Gethin Norman, David Parker, Marta Kwiatkowska, S Shukla, R Gupta, M Leuschel, S Gruner, SL Presti

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	202-215
Number of pages	14
Publication status	Published - 1 Jan 2003
Event	3rd Workshop on Automated Verification of Critical Systems - Duration: 1 Jan 2003 → …

Conference	3rd Workshop on Automated Verification of Critical Systems
Period	1/01/03 → …

Cite this

@conference{27434d78baae45fb9264becaf703a2f7,

title = "Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2",

author = "Gethin Norman and David Parker and Marta Kwiatkowska and S Shukla and R Gupta and M Leuschel and S Gruner and SL Presti",

year = "2003",

month = jan,

day = "1",

language = "English",

pages = "202--215",

note = "3rd Workshop on Automated Verification of Critical Systems ; Conference date: 01-01-2003",

}

TY - CONF

T1 - Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2

AU - Norman, Gethin

AU - Parker, David

AU - Kwiatkowska, Marta

AU - Shukla, S

AU - Gupta, R

AU - Leuschel, M

AU - Gruner, S

AU - Presti, SL

PY - 2003/1/1

Y1 - 2003/1/1

M3 - Paper

SP - 202

EP - 215

T2 - 3rd Workshop on Automated Verification of Critical Systems

Y2 - 1 January 2003

ER -