贾若宇
【姓名】 贾若宇
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 CSP,RSL,形式化描述,协议,连接符,进程代数,形式化,通信顺序进程,描述语言,协议验证,公理,关键字,技术学院,功能实体,中国科学技术大学,协议工程,递归,演算方法,验证协议,安徽合肥,
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】 安徽合肥
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 1 12 166
中国期刊全文数据库    共找到1篇
[1]贾若宇,赵保华,屈玉贵,顾翔.CSP和RSL应用于协议形式化描述的研究[J]计算机应用.2003,(01)
更多