贾斌
【姓名】 贾斌
【职称】
【研究领域】 互联网技术;
【研究方向】
【发表文献关键词】 GE-LOTOS,形式描述技术,路由协议测试,协议一致性测试,E-LOTOS,numb,子过程,动态展开,编译软件,出栈,工具软件,内蒙古,编辑区,呼和浩特,抽象层,内蒙古大学,行为表达式,栈内容,字...
【工作单位】 内蒙古铸锻厂
【曾工作单位】 内蒙古铸锻厂;
【所在地域】 内蒙古呼和浩特
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 4 39
中国期刊全文数据库    共找到1篇
[1]赵玉兰,叶新铭,贾斌.一种有效的形式描述技术:GE-LOTOS[J]内蒙古大学学报(自然科学版).2000,(03)
更多