HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
进程代数论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
指挥控制协同能力需求体系形式化框架
第49-56页
关键词: 指挥控制协同 能力需求 形式化 进程代数
2020年第05期
《计算机工程与应用》
指挥信息系统涌现行为分析方法
第95-98页
关键词: 指挥信息系统 涌现行为 本体 进程代数
2019年第12期
《火力与指挥控制》
基于
进程代数
的并发行为检测模型
第35-40页
关键词: 入侵检测 并发行为 静态分析 进程代数 系统调用
2014年第01期
《工程科学与技术》
《四川大学学报(工程科学版)》总目次
第205-218页
关键词: 四川大学学报 工程科学 huang 自动识别算法 jiang 进程代数 试验研究 篡改检测 检测模型
2014年第06期
《工程科学与技术》
Petri网到
进程代数
的转换
第115-115页
关键词: petri网 进程代数 业务过程管理 面向服务的计算
2017年第11期
《计算机产品与流通》
基于工作流的电子商务交易订购系统建模
第64-66页
关键词: 电子商务 工作流模型 进程代数
2009年第02期
《华北理工大学学报·自然科学版》
网构软件体系结构代数模型
第161-177页
关键词: 网构软件体系结构 抽象代数 进程代数 软件演化
2013年第01期
面向CPS的混成AADL建模与模型转换
第35-40页
关键词: 组合式建模 进程代数 信息物理融合系统 aadl 模型转换
2019年第10期
《计算机技术与发展》
基于
进程代数
EACSR-VP的通信模型的实现
第87-88页
关键词: 进程代数 形式化方法 并发系统 通信 通信模型
2005年第09期
《计算机应用与软件》
一种路由器形式化测试模型的研究
第154-155页
关键词: 进程代数 路由器 建模 测试
2005年第01期
《系统仿真学报》
一种FTCSP的服务组合时间建模与分析方法
第16-19页
关键词: 服务组合 进程代数 模糊时间 建模分析
2018年第06期
《单片机与嵌入式系统应用》
一种利用CSP转换UML活动图模型的方法
第1565-1570页
关键词: uml活动图 元模型 形式化 进程代数 petri网 共享医院
2019年第07期
《计算机与数字工程》
用
进程代数
描述面向电子商务的Agent模型
第137-139页
关键词: 进程代数 电子商务 agent模型 通道 通信系统 进程演算
2004年第04期
《计算机仿真》
基于
进程代数
的上下文感知模型
第1060-1063页
关键词: 移动计算 上下文感知 进程代数 染色petri网
2005年第10期
《西安交通大学学报》
Storm集群下一种基于Topology的任务调度策略
第84-88页
关键词: storm 调度策略 进程代数 topology 最大本地化
2018年第07期
《计算机工程与应用》
基于
进程代数
的UML序列图的形式语义
第173-175页
关键词: 面向对象 建模语言 uml 进程代数 序列图 形式语义
2004年第04期
《计算机科学》
计算机安全中的无干扰模型
第159-165页
关键词: 安全模型 计算机安全 进程代数 访问控制 信息流 框架 干扰 定义 概念 本质
2005年第02期
《计算机科学》
构件系统建模及其动态演化一致性验证方法
第80-86页
关键词: 构件 构件系统 进程代数 弱互模拟 动态演化
2017年第11期
《计算机科学》
非对称χ~≠-演算的互模拟格
第2019-2025页
关键词: 进程代数 非对称 互模拟格
2004年第11期
《计算机研究与发展》
进程代数
上的抽象安全性质周伟尹青王清贤
第2100-2105页
关键词: 进程代数 算子 不动点 复合不变性质 可构造性质 绝对安全性质
2005年第12期
《计算机研究与发展》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学