黃崇明

概要

作品:	12 作品在 12 項出版品 1 種語言

書目資訊

應用iso/oda的多媒體資訊交換系統 by: 國立成功大學資訊工程研究所; 黃崇明 (微縮資料) , [撰]

研究和建立反向式協定驗證法和其在漸進式協定敘述系統的應用=a study on reverse protocol verification and its application... by: 成功大學資訊工程研究所; 黃崇明 (微縮資料) , [著]

描述多媒體同步問題的模式,語言及系統=the model,language,and system for specifying multimedia synchronization by: 國立成功大學資訊工程研究所; 黃崇明 (微縮資料)

機率estelle協定驗證系統 by: 國立成功大學資訊工程研究所; 黃崇明 (微縮資料) , [撰]

電腦輔助之漸進式通訊協定驗證系統 by: 許政穆; 黃崇明 (書目-語言資料,印刷品) , [指導]

Iso協定檢測系統的研究及建立=a study on iso protocol testing by: 成功大學資訊工程學研究所; 黃崇明 (微縮資料) , [著]

使用反向式驗證方法的漸進式協定鸜述 by: 黃崇明; 黃敦泰 (書目-語言資料,印刷品) , [指導]

研究及建立一個應用模糊時間驗證多媒體網路協定的estelle協定驗證系統 by: 國立成功大學資訊工程研究所; 黃崇明 (微縮資料)

Iso正式描述技術的協定確認系統=protocol vertication based on iso formal description techniques by: 成功大學資訊工程學研究所; 黃崇明 (微縮資料) , [著]

研究和建立自動化產生之半路閘器中的半協定轉換器=automatic generation of half-converters in half-gateways by: 成功大學資訊工程學研究所; 黃崇明 (微縮資料) , [著]

主題