互模拟等价

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

检索结果分析

主题关系类型

  • 共现主题
  • 被引主题
  • 引用主题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
等价
查看相关作品
作品数：8456被引量：10861H指数：28
相关主题：等价性 等价关系 等价类 等价转化 等价条件
相关领域：理学 自动化与计算机技术
互模拟
查看相关作品
作品数：122被引量：149H指数：6
相关主题：进程代数 互模拟等价 Π-演算 模态逻辑 符号互模拟
相关领域：自动化与计算机技术
计算机
查看相关作品
作品数：515717被引量：560031H指数：126
相关主题：存储介质 计算机设备 计算机网络 计算机程序 电子设备
相关领域：自动化与计算机技术
进程代数
查看相关作品
作品数：179被引量：462H指数：10
相关主题：随机进程代数 互模拟 形式化方法 形式化 并发系统
相关领域：自动化与计算机技术
Π演算
查看相关作品
作品数：95被引量：196H指数：6
相关主题：PETRI网 形式化建模 进程代数 软件体系结构 Π
相关领域：自动化与计算机技术
CCS
查看相关作品
作品数：2573被引量：3409H指数：23
相关主题：中国船级社 碳 水电站 DSP 组件
相关领域：交通运输工程
Π-演算
查看相关作品
作品数：39被引量：43H指数：4
相关主题：互模拟 进程代数 CCS Π X-演算
相关领域：自动化与计算机技术
PETRI网
查看相关作品
作品数：5163被引量：10996H指数：31
相关主题：工作流 故障诊断 仿真 柔性制造系统 PETRI网模型
相关领域：自动化与计算机技术
和算
查看相关作品
作品数：502被引量：2151H指数：19
相关主题：算理 计算教学 大数据 人工智能 小学数学
相关领域：自动化与计算机技术
Π
查看相关作品
作品数：3591被引量：3979H指数：20
相关主题：共轭 N P 圆周率 J/Ψ
相关领域：理学
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部