المؤلفون: 蔡秉翰, Tsai, Ping-Han

المساهمون: 電機資訊學院: 電子工程學研究所, 指導教授: 江介宏, 蔡秉翰, Tsai, Ping-Han

مصطلحات موضوعية: 修復編譯器, MIPS架構, 量化布林函數求解, Skolem函數, 控制器錯誤, recompiler, MIPS, QBF solving, Skolem function, control-bug

Time: 86

وصف الملف: 1189708 bytes; application/pdf

Relation: http://ntur.lib.ntu.edu.tw/handle/246246/276368; http://ntur.lib.ntu.edu.tw/bitstream/246246/276368/1/ntu-103-R01943146-1.pdf

الاتاحة: http://ntur.lib.ntu.edu.tw/handle/246246/276368
http://ntur.lib.ntu.edu.tw/bitstream/246246/276368/1/ntu-103-R01943146-1.pdf