2024-05-182024-05-1810271https://scholars.lib.ntu.edu.tw/handle/123456789/716404Mobile computing and networksdependable distributed systemsSoC design verificationquantum computing and Communication行動計算與網路可靠分散式系統積體電路設計驗證量子計算與通訊