Journal Portal

PLEASE NOTE: ARC no longer uses the ERA2010 rankings list. The 2020 ranking is the result of a partial evaluation, reviewing only journals that were identified by metrics as being possibly misranked. A future round will allow for additions and community initiated reviews.
For further details of the 2020 process please see the CORE website
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