Formal Methods In System Design

名词解释：

CiteScore：由 Scopus 数据库发布，统计期刊连续 3 年全部发文（涵盖论文、综述、短篇通讯等所有文献类型）在统计年度的篇均被引次数。它覆盖的文献范围更广，能更全面地反映期刊整体学术影响力，是同领域期刊横向对比的核心参考指标。

自引率：指期刊引用自身发表文献的次数占总被引次数的比例，是衡量期刊学术健康度的关键指标。自引率越低，说明期刊的影响力越来自外部学术共同体的真实认可；自引率过高则存在人为抬高引用数据的风险，可辅助判断期刊影响力的含金量。