| 一种用基本ASM定义SDL静态语义的方法 |
| |
| 引用本文： | 赵宇虹,艾波.一种用基本ASM定义SDL静态语义的方法[J].北京邮电大学学报,2004,27(1):55-59. |
| |
| 作者姓名： | 赵宇虹 艾波 |
| |
| 作者单位： | 北京邮电大学 计算机科学与技术学院, 北京 100876 |
| |
| 基金项目： | 信息产业部国际电信联盟标准化对口项目 |
| |
| 摘 要： |
|
| 关 键 词： | 抽象状态机 SDL语言 静态语义 形式定义 |
| 文章编号： | 1007-5321(2004)01-0055-05 |
| 收稿时间： | 2002-09-16 |
| 修稿时间： | 2002年9月16日 |
Approach to Define SDL Static Semantics with Basic ASM |
| |
| ZHAO Yu-hong,AI Bo.Approach to Define SDL Static Semantics with Basic ASM[J].Journal of Beijing University of Posts and Telecommunications,2004,27(1):55-59. |
| |
| Authors: | ZHAO Yu-hong AI Bo |
| |
| Affiliation: | Computer Science and Technology School, Beijing University of Posts and Telecommunications, Beijing 100876, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京邮电大学学报》浏览原始摘要信息 |
|
点击此处可从《北京邮电大学学报》下载全文 |
|
