SCI Journal

Impact Factor Database

Formal Methods in System Design

Impact Factor

0.673

H Index

54

Impact Factor

3.071

Formal Methods in System Design

Basic Journal Info

Country

Netherlands
Journal ISSN: 09259856, 15728102
Publisher: Kluwer Academic Publishers
History: 1992-ongoing
Journal Hompage: Link
How to Get Published:

Research Categories

Formal Methods in System Design
2020 Impact Factor by Web of Science

Index

SCIE/SSCI

Impact Factor

0.673

by WOS

Ranking

11209

by WOS

Formal Methods in System Design
2020 SJR, SJR Impact Factor and H Index

H Index

54

SJR

0.334

Scopus Impact Factor

3.071

Formal Methods in System Design
2020 SJR Impact Factor 2-year, 3-year, 4-year

2-year
Impact Factor

1.479

3-year
Impact Factor

2.538

4-year
Impact Factor

3.071

Scope/Description:

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.

Formal Methods in System Design
Scopus 2-Year Impact Factor Trend

Note: impact factor data for reference only

Formal Methods in System Design
Scopus 3-Year Impact Factor Trend

Note: impact factor data for reference only

Formal Methods in System Design
Scopus 4-Year Impact Factor Trend

Note: impact factor data for reference only

Impact Factor

Impact factor (IF) is a scientometric factor based on the yearly average number of citations on articles published by a particular journal in the last two years. A journal impact factor is frequently used as a proxy for the relative importance of a journal within its field. Find out more: What is a good impact factor?

See what other people are reading

Discover

Formal Methods in System Design
SCR Journal Impact Factor History

  • 2020 Impact Factor 1.479
  • 2019 Impact Factor 2.000
  • 2018 Impact Factor 1.917
  • 2017 Impact Factor 2.200
  • 2016 Impact Factor 1.609
  • 2015 Impact Factor 2.094
  • 2014 Impact Factor 2.500
  • 2013 Impact Factor 1.255
  • 2012 Impact Factor 1.487
  • 2011 Impact Factor 1.881
  • 2010 Impact Factor 2.075
  • 2009 Impact Factor 1.447
  • 2008 Impact Factor 1.196
  • 2007 Impact Factor 1.326
  • 2006 Impact Factor 2.000
  • 2005 Impact Factor 2.209
  • 2004 Impact Factor 1.063
  • 2003 Impact Factor 1.854
  • 2002 Impact Factor 1.302
  • 2001 Impact Factor 1.150
  • 2000 Impact Factor 1.051
Note: impact factor data for reference only

See what other people are reading

Discover

Other Journal Impact Indicator

Any impact factor or scientometric indicator alone will not give you the full picture of a science journal. There are also other factors such as H-Index, Self-Citation Ratio, SJR, SNIP, etc. Researchers may also consider the practical aspect of a journal such as publication fees, acceptance rate, review speed. (Learn More)

Formal Methods in System Design

H-Index

The h-index is an author-level metric that attempts to measure both the productivity and citation impact of the publications of a scientist or scholar. The index is based on the set of the scientist's most cited papers and the number of citations that they have received in other publications

54

Formal Methods in System Design

SCImago Journal Rank (SJR)

SCImago Journal Rank (SJR indicator) is a measure of scientific influence of scholarly journals that accounts for both the number of citations received by a journal and the importance or prestige of the journals where such citations come from.

0.334