ISSN: 0925-9856

Journal Home

Journal Guideline

Formal Methods in System Design Q3 Unclaimed

Springer Netherlands Netherlands

Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

Formal Methods in System Design is a journal indexed in SJR in Software and Theoretical Computer Science with an H index of 58. It has a price of 2490 €. It has an SJR impact factor of 0,345 and it has a best quartile of Q3. It is published in English. It has an SJR impact factor of 0,345.

Type: Journal

Type of Copyright:

Languages: English

Open Access Policy: Open Choice

Type of publications:

Publication frecuency: -

Categories: Hardware and Architecture (Q3) Software (Q3) Theoretical Computer Science (Q4)

Price

2490 €

Inmediate OA

NPD

Embargoed OA

0 €

Non OA

Metrics

0,345

SJR Impact factor

58

H Index

36

Total Docs (Last Year)

75

Total Docs (3 years)

1794

Total Refs

73

Total Cites (3 years)

66

Citable Docs (3 years)

1.03

Cites/Doc (2 years)

49.83

Ref/Doc

Comments

No comments ... Be the first to comment!

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID *

* The email or ORCID field is only to validate the authenticity of the comment, the identity will not be public. .

Other journals with similar parameters

SoftwareX Q3
Formal Aspects of Computing Q3
Journal of Ambient Intelligence and Smart Environments Q3
Journal of Computer Science and Technology Q3
Science of Computer Programming Q3

Compare this journals

Aims and Scope

Best articles by citations

Priority scheduling of distributed systems based on model checking

Hiding propositional constants in BDDs

Regrouping parallel processes

A Constructive Approach to Hardware/Software Partitioning