整合性高速網路軟體工程環境之研究與設計---子計畫I：高速網路通訊協定之實證與驗證(II)

Date

Authors

Chung, Chyan-Goei

Keywords

非同步傳輸模式 , 高速網路 , 通訊協定 , 正規語言 , 時態邏輯 , 網路模擬 , Asynchronous transfer mode (ATM) , High speed network , Communication protocol , Formal specification language , Temporal logic , Network simulation

URI

https://www.grb.gov.tw/search/planDetail?id=303034&docId=55533
https://ir.lib.nycu.edu.tw/handle/11536/95373

Collections

研究計畫;;Research Plans