余滨
【姓名】 余滨
【职称】
【研究领域】 电信技术;互联网技术;
【研究方向】
【发表文献关键词】 网络协议,协议分析,符号模型检验,形式化分析,有限状态机模型,检验方法,检验工具,报文发送,验证,分析检验,迁移系统,路径,状态爆炸,系统属性,发送端,通道,状态转移图,性质,状态系统,寄存器,
【工作单位】 贵州大学
【曾工作单位】 贵州大学;
【所在地域】 贵阳
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 1 1 1 13 419
中国期刊全文数据库    共找到1篇
[1]文静华;余滨;张梅;李祥;.基于SMV的网络协议形式化分析与验证[J]计算机工程.2006,(15)
更多
中国优秀硕士学位论文全文数据库    共找到1篇
[1]余滨.基于移动agent的加密传输系统[D].贵州大学.2006
更多