肖美华
【姓名】 肖美华
【职称】 教授;
【研究领域】 计算机软件及计算机应用;互联网技术;计算机硬件技术;
【研究方向】 软件形式化与可靠性、模型检测
【发表文献关键词】 教学网管理,注册文本,Internet,政府上网,VCL,特性,类,贪心法,NOVELL教学网,文件,元件,方法和事件,政府上网工程,登录文本,协议安全,整数分划,“政府上网工程”,安全性,目标主机,...
【工作单位】 南昌大学
【曾工作单位】 南昌大学;
【所在地域】 江西南昌
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/26 9 16 10 207 3818
中国期刊全文数据库    共找到25篇
[1]肖美华;余立全;肖攀;.SOCKET通信程序模型抽取及可靠性验证[J]计算机科学.2012,(11)
[2]钟祥喜;肖美华;.江西物联网产业发展路径探析[J]商业研究.2012,(07)
[3]钟祥喜;肖美华;刘金香;.形成期物联网产业竞争力影响因素分析[J]商业研究.2012,(10)
[4]舒良春;肖美华;.形式化与UML结合的建模方法及其应用[J]电脑知识与技术.2009,(19)
[5]舒良春;饶俊;肖美华;尹传文;.基于Promela的UML建模方法及其应用[J]计算机与现代化.2010,(02)
[6]吴昌;肖美华;罗敏;刘俏威;熊昊;.安全协议验证模型的高效自动生成[J]计算机工程与应用.2010,(02)
[7]肖美华;尹传文;舒良春;胡波;邹芳红;.基于JPF的Java程序验证[J]南昌大学学报(工科版).2010,(01)
[8]程莹;肖美华;.Otway-Rees协议的分析及改进[J]计算机与现代化.2010,(06)
[9]蔡亮;李芬;肖美华;.基于企业信息机的市级中尺度自动气象站监控系统的实现[J]计算机与现代化.2010,(12)
[10]李力;黎敏;吴芳宇;肖美华;.一种基于MIS的触摸屏汉字输入方法的设计[J]微计算机信息.2006,(23)
更多
中国重要会议全文数据库    共找到1篇
[1]肖美华;邓宸芳;马小薏;薛锦云;江耘;.网络安全认证协议形式化分析[A].第二十次全国计算机安全学术交流会论文集.2005-08-05
更多