![](/img/cover-not-exists.png)
[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Verifying dynamic power management schemes using statistical model checking
Kumar, Jayanand Asok, Vasudevan, ShobhaYear:
2012
Language:
english
DOI:
10.1109/ASPDAC.2012.6165023
File:
PDF, 272 KB
english, 2012