Formal Methods in System Design

The scientific journal Formal Methods in System Design is included in the Scopus database. Based on 2020, SJR is 0.516. Publisher country is Netherlands. The main subject areas of published articles are Hardware and Architecture, Software, Theoretical Computer Science.

We offer making basic requirements to academic papers compliance test using "Paper quality checking" service. Paper quality checking service is in demand among researchers who wish to make final improvements to their work before submitting it to the target journal.The experienced editors of ORES, who have published papers in cited journals, with the participation of foreign partners go through finished articles. They perform complex checks on many parameters, improve the structure and logic of content, and conduct spell checks, among others.

Percentile Scopus ASJC Code Scopus Sub-Subject Area Quartile
63 1712 Software 2
69 1708 Hardware and Architecture 2
76 2614 Theoretical Computer Science 1
CiteScore Source ID
4 https://scopus.com/sourceid/12262
Web Site Articles in 2018 Articles in 2019 Articles in 2020
Link 29 23 9

Other journals in category

ISSN
Title
Indicators
  • ISSN: 09259856
  • The scientific journal is included in the Scopus database.
Publish scientific article