Formal Methods in System Design (ERA Journal)

Formal Methods in System Design is an ERA accredited research journal used as part of the evaluation of the ERA research rankings.

Formal Methods in System Design issns are issn1: 0925-9856 issn2: 1572-8102.

The fields covered by Formal Methods in System Design as part of the evaluation of Australian university research excellence are:

Computation Theory and Mathematics Research Rankings (Sub-Field)

Computer Software Research Rankings (Sub-Field)

Distributed Computing Research Rankings (Sub-Field)

Other ERA-accredited journals supporting the evaluation of the Computation Theory and Mathematics field include:

- ACM Transactions on Computation Theory
- Acta Informatica
- Advances in Modelling and Analysis B: Signals Information Data Patterns
- Fundamenta Informaticae
- International Journal of Modelling and Simulation
- Journal of Automated Reasoning
- Journal of Combinatorics
- Journal of Computational Multiphase Flows
- Journal of Discrete Algorithms (Amsterdam)
- Journal of Mathematical Cryptology
- Journal of Simulation
- Optimization Methods and Software
- Protein Science
- Ruanjian Xuebao
- Systems Science

ERA Research Rankings Submenu

- ERA 2018 Outcomes Research Rankings List

- ERA 2018 Research Rankings Analysis

- ERA 2018 Individual University Outcomes List

- ERA List of Research Fields Rankings

- ERA Journal Rankings 2018 List

Latest News and Updates:

- Top 10 Best Australian Universities

- Gender Balance Male-Female Ratio

- ERA 2018 Outcomes Research Rankings List

- University Bachelor Degree Completion Rates

- QS Employability Rankings Australian Universities

- ARWU World Rankings of Australian Universities

- Group of Eight (go8) World Rankings

Share This Page