Formal Verification of Samsung OneNAND Flash Device Driver : a Case Study
- LecturerProf. Moonzoo Kim (Korea Advanced Institute of Science and Technology)
Host: Dr. Bow-Yaw Wang - Time2008-01-18 (Fri.) 10:00 ~ 12:00
- LocationAuditorium 722 at new IIS Building