张键
【姓名】 张键
【职称】
【研究领域】 计算机软件及计算机应用;互联网技术;
【研究方向】 计算机网络协议的形式描述技术
【发表文献关键词】 LOTOS,形式结构模型,规范风格,结构模型,形式规范,创建方法,网络协议设计,面向资源,网络协议,协议设计,形式描述技术,面向状态,协议,规范模型,目标实现,规范描述,分布式系统,操作符,进程代数,...
【工作单位】 兰州理工大学
【曾工作单位】 兰州理工大学;
【所在地域】 甘肃兰州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 3 4 1 10 359
中国期刊全文数据库    共找到4篇
[1]王继曾,张键.网络协议设计中形式结构模型的创建方法研究[J]微机发展.2004,(02)
[2]王继曾,张键.LOTOS规范风格在服务和协议设计中的应用研究[J]兰州理工大学学报.2004,(05)
[3]王继曾,张键.基于LOTOS形式规范的目标实现[J]计算机工程.2005,(12)
[4]王继曾,张键,王小刚.基于Lotos的面向宏的规范风格[J]计算机工程与设计.2005,(01)
更多
中国优秀硕士学位论文全文数据库    共找到1篇
[1]张键.LOTOS技术在网络协议设计中的应用研究[D].兰州理工大学.2004
更多