- 年份
- 2025(1)
- 2024(3)
- 2023(3)
- 2022(2)
- 2021(7)
- 2020(3)
- 2019(5)
- 2018(4)
- 2017(3)
- 2016(3)
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)(105)
- 中国科学引文数据库(CSCD)(88)
- 北京大学中文核心期刊目录(北大核心)(87)
- 中国人文社会科学引文数据库(CHSSCD)(20)
- 中文社会科学引文索引(CSSCI)(12)
- 更多...
- 刊名
- 计算机工程与应用(11)
- 统计与决策(8)
- 计算机工程(8)
- 电子学报(7)
- 计算机应用研究(6)
- 计算机工程与科学(5)
- 计算机应用与软件(5)
- 国防科技大学学报(4)
- 桂林电子科技大学学报(4)
- 计算机技术与发展(4)
- 更多...
- 作者单位
- 国防科技大学(12)
- 南京大学(8)
- 桂林电子科技大学(5)
- 上海大学(4)
- 南京航空航天大学(4)
- 西南石油大学(4)
- 北京大学(3)
- 山东理工大学(3)
- 清华大学(3)
- 西北工业大学(3)
- 更多...
- 语种
- 汉语(167)
- 关键词
- 模型检验(167)
- 形式化验证(9)
- Kripke结构(5)
- Petri网(5)
- 预测(5)
- UML(4)
- 形式化方法(4)
- BP网络(3)
- 天然气消费量(3)
- 安全性(3)
- 更多...
- 作者
- 古天龙(8)
- 李宣东(6)
- 刘霞(5)
- 屈婉霞(4)
- 李暾(4)
- 杨晓东(4)
- 王戟(4)
- 董威(4)
- 郑国梁(4)
- 郭阳(4)
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 167 条结果
- ARMA模型的频谱分析检验法北大核心CHSSCDCSSCI
- Avalon片上总线协议的形式化建模与模型检验分析CSTPCD摘要:片上总线协议是片上总线技术的核心,其设计的好坏直接影响到片上系统芯片的可靠性.针对Avalon片上总线协议的自身特点和复杂性,给出了Avalon总线协议的一种有限状态饥分析模型,并用CTL对协议的相关属性进行形式化描述,同时采用模型检验工具SMV进行验证分析,验证结果表明协议不存在安全漏洞.
- BP网络预测天然气消费量
- 基于进程代数的软件动态演化模型初探CSTPCD
- 食品感官质量满意体系的模型研究北大核心CSCDCSTPCD
- 一种形式化验证方法:模型检验北大核心CSCDCSTPCD
- 基于Copula理论挖掘地磁Z分量震磁信息北大核心CSCDCSTPCD
- 面向模型检验的UML状态机语义北大核心CSCDCSTPCD
- 面向模型检验的UML状态机语义北大核心CSCDCSTPCD
- 采用SPIN的L4内存管理形式化验证北大核心CSCDCSTPCD