李震
【姓名】 李震
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;冶金工业;材料科学;
【研究方向】 软件安全性、软件验证和测试
【发表文献关键词】 串行D/A,I2C总线,串行D/A转换,单片机,接口设计,开始信号,停止信号,电工电子中心,结束信号,参考电压,命令字节,地址字节,输出字,总线访问,设备地址,高电平,子程序,北京航空航天大学,发送开...
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/15 10 8 8 66 2574
中国期刊全文数据库    共找到12篇
[1]李震;齐亚航;高鹏;周铁涛;.能量输入对微区熔凝铜钢双金属组织和性能的影响[J]焊接学报.2019,(02)
[2]齐亚航;李震;高鹏;周铁涛;.微区熔覆锡青铜凝固组织与热流密度的关系[J]中国有色金属学报.2019,(06)
[3]李震;刘斌;苗虹;殷永峰;.基于本体的软件安全性需求建模和验证[J]北京航空航天大学学报.2012,(11)
[4]李震;刘斌;殷永峰;李晓勋;.基于扩展Petri网的安全关键软件需求模型检验[J]沈阳工业大学学报.2011,(01)
[5]李震;刘斌;李小勋;殷永峰;.基于Petri网模型检验的安全关键软件需求验证[J]系统工程与电子技术.2011,(02)
[6]李震;刘斌;陆民燕;殷永峰;.基于扩展Petri网的除冰软件安全需求建模和验证[J]北京航空航天大学学报.2012,(01)
[7]李震;刘斌;苗虹;殷永峰;.基于划分软件安全Petri网的需求形式化验证[J]系统工程与电子技术.2012,(09)
[8]黄百乔;张虹;陆民燕;李震;.基于Object-FMA的软件代码审查方法[J]北京航空航天大学学报.2010,(12)
[9]李震;刘斌;殷永峰;李晓勋;.基于改进Petri网的可信软件模型验证和测试研究[J]计算机研究与发展.2010,(S1)
[10]李海峰;陆民燕;王智新;李震;.基于灰色系统理论的软件可靠性综合评价框架[J]北京航空航天大学学报.2008,(11)
更多
中国重要会议全文数据库    共找到1篇
[1]李震;刘斌;殷永峰;李晓勋;.基于改进Petri网的可信软件模型验证和测试研究[A].第六届中国测试学术会议论文集.2010-07-24
更多