期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
一种并发系统的规约方法
下载PDF
职称材料
导出
摘要
提出了并发系统的一种规约方法.这一方法可用于对并发系统进行建模和对模型的验证.将形式化工具融入到一种二维的规约方法中,这样就能使形式化工具更易于应用到并发软件的开发过程中.此外,还提出了一种并发系统的形式化抽象模型.
作者
刘剑
李彤
机构地区
云南大学计算机科学系
出处
《计算机应用研究》
CSCD
2000年第5期15-17,共3页
Application Research of Computers
基金
云南省自然科学基金!(98F005G)
云南省中青年科技带头人培养基金!(1998-37)
关键词
并发系统
形式化规约
面向对象
软件开发方法
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
1
参考文献
2
共引文献
32
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
2
1
胡绪美.
测量不确定度评定及应用[J]
.工业计量,2008,18(3):39-43.
被引量:5
2
邱英,彭延龄.
测量不确定度评定与表示[J]
.机械工程师,2007(4):60-62.
被引量:30
二级参考文献
1
1
邱英,何淑菊,熊省军,李志伟.
正态分布随机误差的计算机辅助分析[J]
.实验技术与管理,2005,22(1):77-80.
被引量:3
共引文献
32
1
赵斯琦.
基于贝塞尔法的Web性能测试工具测量不确定度分析与比对[J]
.中国高新科技,2023(2):106-108.
2
吴德洲.
动态不确定度与静态不确定度的区别和联系[J]
.计量与测试技术,2010,37(12):15-17.
被引量:1
3
罗新荣,杨欢,李梦坤,丁振.
钻孔煤屑-瓦斯-水耦合的解吸规律[J]
.黑龙江科技大学学报,2017,27(5):462-467.
4
梁欣.
航天测控设备自动化测试系统不确定度分析[J]
.甘肃科技纵横,2019,48(1):18-20.
被引量:4
5
何欣,柳爱春,白俊慧.
超高效液相色谱串联质谱检测14种喹诺酮类药物方法的不确定度评估[J]
.杭州农业与科技,2019,0(2):23-28.
被引量:1
6
解进军,周文斌.
模拟式绝缘电阻表读数引入的不确定度分析[J]
.工业计量,2019,29(2):55-57.
7
高朋飞,朱晓瑞.
电导率仪电子单元示值误差的不确定评定[J]
.科技创新导报,2019,16(1):79-80.
8
孙晓慧.
电感耦合等离子体发射光谱法测定化探样品中钴含量的不确定度评定[J]
.冶金与材料,2019,39(2):12-13.
9
柳亚飞,李孟丽.
纺织品中三氯生含量测量不确定度评定[J]
.纺织标准与质量,2019,0(3):49-52.
10
李易晓,许菲菲,羊洁芳,沈明驹,马苏珍,楼美娟,蒋英华.
高效液相色谱法测定化妆品中3种禁用着色剂的不确定度评定[J]
.广东化工,2019,46(17):166-168.
被引量:2
1
刘建福,徐德启.
并发系统的模型与验证[J]
.兰州大学学报(自然科学版),1992,28(1):29-34.
2
冯玉琳,赵旭东,郭端阳.
并发系统的模型和自动验证[J]
.计算机学报,1990,13(2):107-115.
被引量:1
3
蒋慧,张兴元,王元元.
并发系统的操作时序逻辑描述和验证[J]
.计算机科学,1997,24(6):25-29.
被引量:1
4
蒋昌俊,郑应平,疏松桂.
并发系统建模与分析研究[J]
.高技术通讯,1996,6(6):21-25.
被引量:2
5
刘振辉.
高性能网站安全建设探讨[J]
.计算机安全,2012(10):45-48.
被引量:3
6
顾永跟,傅育熙.
基于进程演算和知识推理的安全协议形式化分析[J]
.计算机研究与发展,2006,43(5):953-958.
被引量:7
计算机应用研究
2000年 第5期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部