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

Research output: Contribution to conference (unpublished)Paper

Authors

  • S Shukla
  • R Gupta
  • M Leuschel
  • S Gruner
  • SL Presti

Colleges, School and Institutes

Details

Original languageEnglish
Pages202-215
Number of pages14
Publication statusPublished - 1 Jan 2003
Event3rd Workshop on Automated Verification of Critical Systems -
Duration: 1 Jan 2003 → …

Conference

Conference3rd Workshop on Automated Verification of Critical Systems
Period1/01/03 → …