Formal Methods in System Design

Journal Abbreviation: FORM METHOD SYST DES
Journal ISSN: 0925-9856

About Formal Methods in System Design

    Formal 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.
Year Bioxbio Journal Impact* IF Total Articles Total Cites
2018/2019 - 0.787 25 413
2017 - 0.825 30 407
2016 - 1.000 17 638
2015 - 1.132 23 437
2014 - 0.875 23 357
2013 - 0.404 30 273
2012 - 0.282 26 256
2011 - 0.690 21 246
2010 - 1.132 18 307