Probabilistic model checking and power-aware computing

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages6-9
Number of pages4
Publication statusPublished - 1 Jan 2005
Event7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS '05) -
Duration: 1 Jan 2005 → …

Conference

Conference7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS '05)
Period1/01/05 → …

Cite this