Title: 整合性高速網路軟體工程環境之研究與設計---子計畫I:高速網路通訊協定之實證與驗證(II)
Validation and Verification of High Speed Network Protocol (II)
Authors: 鍾乾癸
Chung, Chyan-Goei
交通大學資訊工程研究所
Keywords: 非同步傳輸模式;高速網路;通訊協定;正規語言;時態邏輯;網路模擬;Asynchronous transfer mode (ATM);High speed network;Communication protocol;Formal specification language;Temporal logic;Network simulation
Issue Date: 1997
Gov't Doc #: NSC86-2213-E009-007
URI: http://hdl.handle.net/11536/95373
https://www.grb.gov.tw/search/planDetail?id=303034&docId=55533
Appears in Collections:Research Plans