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 Países Bajos. 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
03064379
Information Systems
SJR: 0.807
The scientific journal Information Systems is included in the Scopus database. Based on 2020, SJR is 0.807. Publisher country is . The main subject areas of published articles are Hardware and Architecture, Information Systems, Software....
15483886
International Journal of Electronic Government Research
SJR: 0.282
The scientific journal International Journal of Electronic Government Research is included in the Scopus database. Based on 2020, SJR is 0.282. Publisher country is Estados Unidos. The main subject areas of published articles are Hardware and Architecture, Computer...
10943420
International Journal of High Performance Computing Applications
SJR: 0.385
The scientific journal International Journal of High Performance Computing Applications is included in the Scopus database. Based on 2020, SJR is 0.385. Publisher country is Estados Unidos. The main subject areas of published articles are Hardware and Architecture,...
19354185
Synthesis Lectures on Network Simulation
SJR: 0.658
The scientific journal Synthesis Lectures on Network Simulation is included in the Scopus database. Based on 2020, SJR is 0.658. Publisher country is Estados Unidos. The main subject areas of published articles are Hardware and Architecture, Computer Networks and...
14710684
Theory and Practice of Logic Programming
SJR: 0.798
The scientific journal Theory and Practice of Logic Programming is included in the Scopus database. Based on 2020, SJR is 0.798. Publisher country is . The main subject areas of published articles are Hardware and Architecture, Computational Theory and Mathematics,...
15399087
Transactions on Embedded Computing Systems
SJR: 0.476
The scientific journal Transactions on Embedded Computing Systems is included in the Scopus database. Based on 2020, SJR is 0.476. Publisher country is Estados Unidos. The main subject areas of published articles are Hardware and Architecture, Software....
20959184
Frontiers of Information Technology and Electronic Engineering
SJR: 0.416
The scientific journal Frontiers of Information Technology and Electronic Engineering is included in the Scopus database. Based on 2020, SJR is 0.416. Publisher country is Estados Unidos. The main subject areas of published articles are Hardware and Architecture, Signal...
21801843
Journal of Telecommunication, Electronic and Computer Engineering
The scientific journal Journal of Telecommunication, Electronic and Computer Engineering is included in the Scopus database. Publisher country is Malasia. The main subject areas of published articles are Hardware and Architecture, Computer Networks and Communications, Electrical...
  • ISSN: 09259856
  • The scientific journal is included in the Scopus database.
Publish scientific article