Improved checkpoints for error recovery of Estelle
碩士 === 國立中山大學 === 電機工程研究所 === 77 === Estelle 是一種用來描述分散式且同時發生動件之資料處理系統的形式描述語言。它 與我們平常所使用的程式語言（例如巴斯卡，福傳，C 等等）在很多方面均不相同最 主要者，Estelle 可以用來描述國際標準組織在通信網，路所定義的七層結構中每一 層所具有的服務及通信協定，亦可以用來做為通信協定的測試，尤其當一些編譯器被 研究出來之後，利用它們來降低人工，時間的花費，更可獲得...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1989
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/21249390806196737401 |