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 57. It has a price of 2490 €. It has an SJR impact factor of 0,4 and it has a best quartile of Q3. It is published in English. It has an SJR impact factor of 0,4.

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 (Q3)

Price

2490 €

Inmediate OA

NPD

Embargoed OA

0 €

Non OA

Metrics

0,4

SJR Impact factor

57

H Index

13

Total Docs (Last Year)

85

Total Docs (3 years)

679

Total Refs

71

Total Cites (3 years)

76

Citable Docs (3 years)

0.79

Cites/Doc (2 years)

52.23

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

Formal Aspects of Computing Q3
Journal of Experimental and Theoretical Artificial Intelligence Q3
Journal of Functional Programming Q3
Journal of Intelligent Systems Q3
International Journal of Innovative Computing, Information and Control 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