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值(影响因子)趋势图