Formal Methods In System Design

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周，或约稿。

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周，或约稿