程劼
【姓名】 程劼
【职称】
【研究领域】 电信技术;
【研究方向】
【发表文献关键词】 Z语言,形式化方法,移动代理,移动Agent系统,软件工程,基本件,组件,Agent,代理,形式化描述,移动Agent,形式化,移动代理系统,组件技术,提升操作,mate,移动系统,局部操作,基本组件...
【工作单位】 浙江大学
【曾工作单位】 浙江大学;
【所在地域】 杭州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 0 1 0 181
中国期刊全文数据库    共找到1篇
[1]程劼,李赣生.移动Agent系统的Z语言形式化描述[J]计算机工程.2003,(19)
更多