FORMAL METHODS IN SYSTEM DESIGN
SCIE
ISSN:0925-9856
e-ISSN:1572-8102
详情
简称:
FORM METHOD SYST DES
出版商:
SPRINGER
JCI:
0.26
周期:
Quarterly
影响指数:
0.700-0.900
国家:
UNITED STATES
年发文量:
22
国人占比
1.52%
学科:
COMPUTER SCIENCE
是否在库:
是
中科院预警:
无
国内分区（升级版）:
—
大类:
计算机科学 4区
小类:
-
H指数:
5E+1
自引率
28.57%
是否OA
NO
Cite Score:
4
SNIP
1.623
SJR:
0.516
Scopus学科:
Software
分区：Q2
排名：137/373
百分位：63%
5年影响指数趋势图
0.442
5年前
1.100
4年前
0.800
3年前
0.700
2年前
0.800
近1年