中文簡介

系統設計中的正式方法報告了設計、實現和驗證硬件（VLSI）和軟件系統正確性的最新正式方法。讀者會發現高質量的原始論文描述了研究和發展的各個方面。該期刊的貢獻是為了開發一個重要的、非常有用的、通常適用的正式方法集合，這些方法將對未來的設計環境和設計方法產生重大影響。

　　英文簡介

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.

　　近年期刊自引率趨勢圖

　　JCR分區

JCR分區等級	JCR所屬學科	分區	影響因子
Q3	COMPUTER SCIENCE, THEORY & METHODS	Q3	1.1

　　近年期刊影響因子趨勢圖

　　CiteScore數值

CiteScore	SJR	SNIP	學科類別	分區	排名	百分位
2.80	0.502	1.274	大類：Mathematics 小類：Theoretical Computer Science	Q2	59 / 123	52%
			大類：Mathematics 小類：Hardware and Architecture	Q3	102 / 167	39%
			大類：Mathematics 小類：Software	Q3	244 / 398	38%

　　相關工程技術SCI期刊推薦

• SemimonthlyADVANCED MATERIALS
• Journal of Materials Chemistry A
• MonthlyADVANCED FUNCTIONAL MATERIALS
• SemimonthlyAPPLIED CATALYSIS B-ENVIRONMENTAL
• SemimonthlyJOURNAL OF HAZARDOUS MATERIALS
• SemimonthlyJOURNAL OF ALLOYS AND COMPOUNDS
• MonthlyBiotechnology for Biofuels
• Materials Science & Engineering C-Materials for Biological Applications
• MonthlySmall
• MonthlyJOURNAL OF THE ELECTROCHEMICAL SOCIETY