A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded Systems (2001)
by
Sandeep K. Shukla
,
Rajesh K. Gupta
| Citations: | 15 - 5 self |







