学者知网节

【姓名】	杨琛
【职称】
【研究领域】	计算机软件及计算机应用;
【研究方向】	计算机网络与并行分布计算
【发表文献关键词】	分布式系统,构件交互,π-演算,标记转移系统,活性,安全性,验证方法,分布式构件,目标系统,验证算法,交互协议,模型组合,组合模型,性质,交互风格,状态数,状态集合,状态空间,状态爆炸,交互模型,
【工作单位】	西北大学
【曾工作单位】	西北大学;
【所在地域】	陕西西安

中国期刊全文数据库 共找到2篇

[1]杨琛;房鼎益;陈晓江;.一种有效的分布式构件交互性质验证方法[J]西北大学学报(自然科学版).2007,(03)

[2]陈晓江;杨琛;冯健;房鼎益;.并发系统模型检测中的状态约减算法[J]微电子学与计算机.2007,(10)

中国优秀硕士学位论文全文数据库 共找到1篇

中国重要会议全文数据库 共找到1篇

[1]陈晓江;杨琛;冯健;房鼎益;.并发系统模型检测中的状态约减算法[A].2007年全国开放式分布与并行计算机学术会议论文集(下册).2007-10-12

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/4	2	3	2	13	702