Formal Verification of Samsung OneNAND Flash Device Driver : a Case Study
- 講者Moonzoo Kim 教授 (Korea Advanced Institute of Science and Technology)
邀請人:王柏堯老師 - 時間2008-01-18 (Fri.) 10:00 ~ 12:00
- 地點本所新館722演講廳
您的瀏覽器不支援JavaScript語法,網站的部份功能在JavaScript沒有啟用的狀態下無法正常使用。