Skip to main navigation Skip to search Skip to main content

Using probabilistic model checking for dynamic power management

  • Gethin Norman
  • , David Parker
  • , Marta Kwiatkowska
  • , S Shukla
  • , R Gupta

Research output: Contribution to journal › Article

42 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Using probabilistic model checking for dynamic power management'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science