互模拟等价

作品数：11被引量：14H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：邓辉张双双赵锡英吴尽昭刘美玲更多>>
相关机构：吉林大学广西民族大学上海交通大学北京交通大学更多>>
相关期刊：《控制理论与应用》《软件学报》《兰州理工大学学报》《北京交通大学学报》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于进程代数的安全软件体系结构建模
《计算机应用》2005年第12期2811-2813,共3页甘厚勇 毋国庆 胡涌涛 
分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结...
关键词：进程代数 软件体系结构描述语言 弱互模拟等价 体系结构风格 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部