The Formal Methods in System Design is a reputed indexed journal. The Journal is published by Springer Netherlands.
- Publisher: Springer Netherlands
- ISSN: 15728102, 09259856
- Journal Impact Factor: 1.0
- SJR: 0.290
- Journal Quartile: Q3
- Publication Language: ENG
- Indexing: Web of Science, UGC
- Open-Access: No
- Country of Publication: Netherlands
- H-Index: 59
- Publication Area: Hardware and Architecture (Q3); Software (Q3); Theoretical Computer Science (Q4)
Source: https://www.scopus.com/sourceid/12262