中文簡介

系統(tǒng)設(shè)計(jì)中的正式方法報(bào)告了設(shè)計(jì)、實(shí)現(xiàn)和驗(yàn)證硬件（VLSI）和軟件系統(tǒng)正確性的最新正式方法。讀者會發(fā)現(xiàn)高質(zhì)量的原始論文描述了研究和發(fā)展的各個(gè)方面。該期刊的貢獻(xiàn)是為了開發(fā)一個(gè)重要的、非常有用的、通常適用的正式方法集合，這些方法將對未來的設(shè)計(jì)環(huán)境和設(shè)計(jì)方法產(chǎn)生重大影響。

　　英文簡介

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分區(qū)

JCR分區(qū)等級	JCR所屬學(xué)科	分區(qū)	影響因子
Q3	COMPUTER SCIENCE, THEORY & METHODS	Q3	1.1

　　近年期刊影響因子趨勢圖

　　CiteScore數(shù)值

CiteScore	SJR	SNIP	學(xué)科類別	分區(qū)	排名	百分位
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%

　　相關(guān)工程技術(shù)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