言語
黃崇明
概観
著作: | 12 作品に 12 出版物中に 1 言語 |
---|
タイトル
研究和建立反向式協定驗證法和其在漸進式協定敘述系統的應用=a study on reverse protocol verification and its application...
…で:
成功大學資訊工程研究所; 黃崇明
(マイクロフィルム)
, [著]
描述多媒體同步問題的模式,語言及系統=the model,language,and system for specifying multimedia synchronization
…で:
國立成功大學資訊工程研究所; 黃崇明
(マイクロフィルム)
Iso正式描述技術的協定確認系統=protocol vertication based on iso formal description techniques
…で:
成功大學資訊工程學研究所; 黃崇明
(マイクロフィルム)
, [著]
研究和建立自動化產生之半路閘器中的半協定轉換器=automatic generation of half-converters in half-gateways
…で:
成功大學資訊工程學研究所; 黃崇明
(マイクロフィルム)
, [著]
研究及建立一個應用模糊時間驗證多媒5體網路協定的estelle 協定 系統=a fuzzy time estelle-based protocol verification ....
…で:
成功大學資訊工程學研究所; 黃崇明
(マイクロフィルム)
, [著]
詳細を表示する
より少数の