Formal Methods In System Design

Formal Methods In System Design英文簡介

The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.

Formal Methods In System Design中文簡介

《Formal Methods In System Design》是一本由SPRINGER出版商出版的專業工程技術期刊，該刊創刊于1992年，刊期Bimonthly，該刊已被國際權威數據庫SCIE收錄。在中科院最新升級版分區表中，該刊分區信息為大類學科：工程技術 4區，小類學科：計算機：理論方法 4區；在JCR（Journal Citation Reports）分區等級為Q3。該刊發文范圍涵蓋計算機：理論方法等領域，旨在及時、準確、全面地報道國內外計算機：理論方法工作者在該領域取得的最新研究成果、工作進展及學術動態、技術革新等，促進學術交流，鼓勵學術創新。2021年影響因子為1.1，平均審稿速度>12周，或約稿。

中科院分區最新升級版（當前數據版本：2021年12月最新升級版）

大類學科	分區	小類學科	分區	Top期刊	綜述期刊
計算機科學	3區	COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法	3區	否	否

JCR分區（當前數據版本：2021-2022年最新版）

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

期刊指數

影響因子	h-index	Gold OA文章占比	研究類文章占比	OA開放訪問	平均審稿速度
1.1	47	37.04%	100.00%	未開放	>12周，或約稿

IF值(影響因子)趨勢圖