FORMAL METHODS IN SYSTEM DESIGN
✓未列入中科院《国际期刊预警名单》（含官方历年名单与2026动态预警）
FORM METHOD SYST DES
JCR Q3中科院 4 区 · 计算机科学SCIE
最新影响因子
1
5年影响因子
1
JCR分区
Q3（107/146）
全球排名
14440
ISSN
0925-9856
eISSN
1572-8102
出版商
SPRINGER
语言
English
JCI
0.23
总引用
621
年发文量
19
数据年份
2025
影响因子
1
最新影响因子（2025）
1
5年影响因子
JCR Q3 分区
中科院小类 3 区 · 计算机：理论方法
中科院小类 3 区 · 计算机：理论方法
期刊详细信息
期刊名称FORMAL METHODS IN SYSTEM DESIGN
缩写FORM METHOD SYST DES
ISSN0925-9856
eISSN1572-8102
出版商SPRINGER
语言English
数据库收录Web of Science(SCIE); Scopus
JCR学科COMPUTER SCIENCE, THEORY & METHODS(SCIE):Q3 107/146
JCR分区Q3
JCR排名107/146
全球排名14440
JCI0.23
中科院大类4 区 · 计算机科学
中科院小类3 区 · 计算机：理论方法
是否Top期刊否
数据年份2025
