Institutional Repository
| ESTELLE到XYZ/E的翻译 | |
| Alternative Title | Translating form ESTELLE to XYZ/E |
| 同关山 | |
| Major | 计算机软件(Computer software) |
| 1993 | |
| Degree Grantor | 中国科学院软件研究所 |
| Degree Level | 博士 |
| Place of Degree Grantor | 中国科学院软件研究所 |
| Keyword | 计算机广义网 协议转换 Estelle语言 Xyz/e语言 |
| English Abstract | 本文介绍了将Estelle转换为XYZ/E的系统的开发工作。该工作的完成，使得原来需要在Estelle上进行的协议性质的验证变为在XYZ/E上的验证，而这正是XYZ/E的强项所在。由于Estelle本身的复杂性，转换工作极具难度。目前，难点基本得到结决，并且转换系统也已经实现并可正确地运行。 |
| Pages | 94 |
| Language | 中文 |
| Content Type | 学位论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/7548 |
| Collection | 中科院软件所_中科院软件所 |
| Recommended Citation GB/T 7714 | 同关山. ESTELLE到XYZ/E的翻译[D]. 中国科学院软件研究所. 中国科学院软件研究所,1993. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| N89917.pdf（1579KB） | 限制开放 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment