首 页
部门概况
期刊导航
文章导读
哲学社会科学版
自然科学版
自然科学网络版
采编平台
哲学社会科学版
自然科学版
自然科学网络版
投稿平台
哲学社会科学版
自然科学版
自然科学网络版
荣誉奖励
社会反响
联系我们
当前位置:
首页
>
文章导读
>
自然科学版
一种有效的分布式构件交互性质验证方法
杨 琛,房鼎益,陈晓江
(西北大学 信息科学与技术学院,陕西 西安 710127)
全文:
PDF
摘要:
关键词:
分布式系统;构件交互;π?演算;标记转移系统;活性;安全性?
发表年限:
2007年
发表期号:
第3期
上一篇:
从RBF核函数中抽取关联分类规则
下一篇:
AI+化学:从自动化迈向智能化探索