Journal Portal

The CORE journal rankings have been discontinued as of February 2022 in order to focus on conference rankings. The journal rankings are no longer supported or updated.
The most recent update was in 2020. Details of that update can be found on the CORE website at core.edu.au.
Sign in with LinkedIn
Signing in with LinkedIn authorizes us to store your name, email address, headline and display picture

why?
Back to search | search conferences



Formal Methods in System Design

Source: CORE2020
Rank: A
Field Of Research: 0802 - Computation Theory and Mathematics
Field Of Research: 0805 - Distributed Computing
ISSN: 0925-9856
ISSN: 1572-8102
Leave as A (Data 1) (Data 4) (Decision)
Source: ERA2010
Rank: A
Field Of Research: 0802 - Computation Theory and Mathematics
Field Of Research: 0805 - Distributed Computing
ISSN: 0925-9856
ISSN: 1572-8102

Comments (0)

Average User Rating: N/A


Sort by:


You must sign in to leave comments