登入選單

返回Google圖書搜尋

A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded Systems

Sandeep K. Shukla

出版	Information and Computer Science, University of California, Irvine, 2001
URL	http://books.google.com.hk/books?id=0lo7HQAACAAJ&hl=&source=gbs_api