Formal analysis and validation of continuous time Markov chain based system level power management strategies

Gethin Norman, David Parker, Marta Kwiatkowska, S Shukla, R Gupta, W Rosenstiel

Research output: Contribution to conference (unpublished)Paper

28 Citations (Scopus)
Original languageEnglish
Pages45-50
Number of pages6
Publication statusPublished - 1 Jan 2002
EventProceedings 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02) -
Duration: 1 Jan 2002 → …

Conference

ConferenceProceedings 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02)
Period1/01/02 → …

Cite this