Formal Methods in System Design 期刊信息
基本信息
期刊全称
Formal Methods in System Design
期刊简称
Print ISSN
0925-9856
Online ISSN
1572-8102
期刊出版社
是否开放获取
Open Access,OA
否
官网地址
期刊所属领域
期刊简介
是否是SCIE(SCI)
注:SCI已经完全被SCIE取代,参考: SCI被取代
SCIE索引
是否是ESCI
ESCI简介否
是否是SSCI
否
JCR分区
Q4
JCR影响因子
0.442
Q2
Q2
Q1
Q2
Q2
Q1
CiteScore
4.5
SJR分数
0.334
SNIP分数
1.066
AJG2021星级
原ABS
AJG未收录该期刊
CCF评级
2019年数据
B
暂无数据
历年出版情况
数据来源DBLP网站
暂无历年出版数量数据
最新卷期
暂无数据