Formal Methods in System Design Impact Factor in Computer Science
Formal Methods in System Design in Computer Science
Journal Country: Netherlands
Journal Q tier: Q3
Publishing Firm: Springer Netherlands
History: 1992-2022
Journal Homepage: Not Available
Journal ISSN: 15728102, 09259856
Research Categories
Hardware and Architecture (Q3); Software (Q3); Theoretical Computer Science (Q4)
Impact Score: 0.98
h-Index: 56
SJR: 0.32
Ranking: 14505
About Formal Methods in System Design
Aim and ScopeFormal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.
Log in to add a review. Log in
No reviews yet. Be the first to review this journal.