Formal Methods In System Design

Formal Methods In System Design

系统设计中的形式化方法

  • 4区 中科院分区
  • Q3 JCR分区

期刊评价

  • 影响因子0.7
  • 研究类文章占比100.00%
  • H-index47
  • Gold OA文章占比46.75%
  • 期刊收录SCIE
  • 是否预警
  • 年发文量34
  • 是否OA未开放

Formal Methods In System Design分区趋势图

影响因子

CiteScore分区

自引率趋势

引文指标

发文量