形式化描述技术

作品数：8被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：顾翔赵保华屈玉贵赵静王颖更多>>
相关机构：中国科学技术大学合肥工业大学上海交通大学北京邮电大学更多>>
相关期刊：《北京邮电大学学报》《微电子学与计算机》《通信学报》《通信技术》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划安徽省自然科学基金中国科学院院长基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=北京邮电大学学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SDL-2000的形式语义研究被引量：1
《北京邮电大学学报》2001年第4期58-61,共4页王颖 艾波 
信息产业部国际电信联盟对口研究资助项目 (97- T10 - 0 0 3)
介绍了 SDL - 2 0 0 0形式语义的理论基础抽象状态机 (ASM) ,深入分析了 SDL - 2 0 0 0形式语义 ,其中静态语义使用一阶谓词演算定义 ,动态语义使用多代理的分布式
关键词：抽象状态机 形式化描述技术 形式语义 SDL-2000语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部