DMCA

Using Probabilistic Model Checking for Dynamic Power Management

by Gethin Norman , David Parker , Marta Kwiatkowska , Sandeep Shukla , Rajesh Gupta
Venue:UNDER CONSIDERATION FOR PUBLICATION IN FORMAL ASPECTS OF COMPUTING
Citations:28 - 12 self