• 年份
  • 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 条结果