| 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 |
