Formal Methods in System Design

SJR Rank #17,543H-index: 59SJR: 0.290Best quartile: Q3APC: US$2,390
Journal website: aims, scope and author guidelines
Publisher

Springer Netherlands

Country

Netherlands

Type

journal

SJR by Edition

2022202500.080.160.240.32

Subject Categories

  • Hardware and ArchitectureQ3
  • SoftwareQ3
  • Theoretical Computer ScienceQ4

Areas: Computer Science · Mathematics

Most published research topics

Formal Methods in VerificationLogic, programming, and type systemsSoftware Testing and Debugging TechniquesEmbedded Systems Design TechniquesPetri Nets in System ModelingSoftware Reliability and Analysis ResearchModel-Driven Software Engineering TechniquesDistributed systems and fault toleranceParallel Computing and Optimization TechniquesSecurity and Verification in Computing

Source: OpenAlex

Publication Statistics

2025 Docs3-Year DocsCitable Docs015304560

Documents per Year

2022202509182736

Detailed Information

ISSN

1572-8102, 0925-9856

SJR Best Quartile

Q3

Region

Western Europe

Citations per Document (2 years)

1.32

References per Document

44.08

Coverage

1992-2022, 2024-2026

Scope

No scope description available yet.

Metrics from SCImago Journal Rank 2025. View on SCImago