Formal Methods in System Design
in Journal Posted on November 4, 2020Journal Ranking & Metrics
Impact Score : | 3.3 |
G2R H-Index : | 10 |
JCR Impact Factor : | 0.673 |
Scopus Citescore : | 4 |
SCIMAGO SJR : | 0.516 |
SCIMAGO H-index : | 50 |
Guide2Research Overall Ranking : | 697 |
Journal Information
ISSN : | 0925-9856 |
Publisher : |
![]() |
Periodicity : | Bimonthly |
Editors-in-Chief : | Daniel Kroening |
Journal & Submission Website : | https://www.springer.com/journal/10703 |
Top Scientists who published in this Journal
Number of top scientists* : | 25 |
Documents published by top scientists* : | 24 |
* Based on data published during the last three years. |
Aims & Scope of the Journal
Formal Methods in System Design publishes academic documents exploring novel crucial contributions in the fields of General Computer Science and Software Engineering & Programming. Formal Methods in System Design provides high-quality, original papers where all submitted articles are peer reviewed to assure top quality. The journal welcomes submissions from the research community where emphasis will be placed on the novelty and the practical significance of the published findings.
Formal Methods in System Design is listed in a wide range of abstracting and indexing databases like Scopus, Web of Science and Guide2Research. A significant number of leading scientists have published their research contributions at this Journal for instance Helmut Veith, Sanjit A. Seshia, Thomas Henzinger and Thomas Reps.
For more details on the rules and submission provisions for authors, you are advised to consult the official website for the journal for Formal Methods in System Design at https://www.springer.com/journal/10703 .