FORMAL METHODS IN SYSTEM DESIGN SCIE
0925-9856
工程技术
Bimonthly
No
1572-8102
FORM METHOD SYST DES
30
UNITED STATES
http://link.springer.com/journal/10703
>12周，或约稿审稿时间
4区中科院分区
容易平均录用比例
0.787影响因子
计算机：理论方法小学科
0925-9856
工程技术
Bimonthly
No
1572-8102
FORM METHOD SYST DES
30
UNITED STATES
http://link.springer.com/journal/10703
>12周，或约稿审稿时间
4区中科院分区
容易平均录用比例
0.787影响因子
计算机：理论方法小学科
严选服务 安全可靠
四区
质量保证 保密协议
化学工程/制药，医学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
环境科学-公共卫生
了解详情严选服务 安全可靠
二区
质量保证 保密协议
环境科学-公共卫生
了解详情严选服务 安全可靠
二区
质量保证 保密协议
环境科学-公共卫生
了解详情严选服务 安全可靠
三区
质量保证 保密协议
计算机视觉/遥感/智能驾驶/汽车
了解详情严选服务 安全可靠
三区,二区
质量保证 保密协议
企业管理
了解详情严选服务 安全可靠
三区,二区
质量保证 保密协议
企业管理
了解详情严选服务 安全可靠
二区
质量保证 保密协议
环境科学，公共卫生
了解详情严选服务 安全可靠
二区
质量保证 保密协议
环境科学，公共卫生
了解详情严选服务 安全可靠
四区
质量保证 保密协议
经济，能源
了解详情严选服务 安全可靠
四区
质量保证 保密协议
经济，能源
了解详情严选服务 安全可靠
三区
质量保证 保密协议
教育
了解详情严选服务 安全可靠
二区
质量保证 保密协议
教育
了解详情严选服务 安全可靠
二区
质量保证 保密协议
教育
了解详情严选服务 安全可靠
三区
质量保证 保密协议
教育
了解详情严选服务 安全可靠
一区
质量保证 保密协议
计量经济学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
计量经济学
了解详情严选服务 安全可靠
一区
质量保证 保密协议
建筑，历史
了解详情严选服务 安全可靠
二区
质量保证 保密协议
领导力，管理
了解详情严选服务 安全可靠
四区
质量保证 保密协议
信息技术，教育
了解详情严选服务 安全可靠
二区
质量保证 保密协议
信息技术，教育
了解详情严选服务 安全可靠
一区
质量保证 保密协议
信息技术，教育
了解详情严选服务 安全可靠
二区
质量保证 保密协议
信息技术，教育
了解详情严选服务 安全可靠
三区
质量保证 保密协议
计算机，英语教学
了解详情严选服务 安全可靠
三区
质量保证 保密协议
计算机，音乐
了解详情严选服务 安全可靠
已签订
质量保证 保密协议
人体工程，心理学
获取相关选题严选服务 安全可靠
已签订
质量保证 保密协议
人体工程，心理学
获取相关选题严选服务 安全可靠
已签订
质量保证 保密协议
人体工程，心理学
获取相关选题严选服务 安全可靠
已签订
质量保证 保密协议
数学，经济
获取相关选题严选服务 安全可靠
已签订
质量保证 保密协议
数学，经济
获取相关选题严选服务 安全可靠
已签订
质量保证 保密协议
数学，经济
获取相关选题严选服务 安全可靠
已签订
质量保证 保密协议
数学，经济
获取相关选题严选服务 安全可靠
四区
质量保证 保密协议
农村经济
了解详情严选服务 安全可靠
四区
质量保证 保密协议
农村经济
了解详情严选服务 安全可靠
四区
质量保证 保密协议
农村经济
了解详情严选服务 安全可靠
三区
质量保证 保密协议
医学，电化学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
医学，电化学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
医学，电化学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
医学，电化学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
医学，电化学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
医学，电化学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
医学，电化学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
医学，电化学
了解详情严选服务 安全可靠
三区
质量保证 保密协议
环境能源，绿色投资
了解详情严选服务 安全可靠
已签订
质量保证 保密协议
计算机，英语教学
获取相关选题严选服务 安全可靠
三区
质量保证 保密协议
计算机，音乐
了解详情严选服务 安全可靠
三区
质量保证 保密协议
经济，绿色投资
了解详情严选服务 安全可靠
三区
质量保证 保密协议
经济政策
了解详情严选服务 安全可靠
已签订
质量保证 保密协议
经济，金融
获取相关选题严选服务 安全可靠
三区
质量保证 保密协议
经济，金融投资
了解详情严选服务 安全可靠
四区
质量保证 保密协议
经济，数学，统计学，管理学
了解详情严选服务 安全可靠
四区
质量保证 保密协议
经济，数字，管理学
了解详情严选服务 安全可靠
已签订
质量保证 保密协议
农业，土壤科学
获取相关选题严选服务 安全可靠
二区
质量保证 保密协议
电力与能源系统，管理
了解详情严选服务 安全可靠
三区
质量保证 保密协议
建筑规划，计算机
了解详情严选服务 安全可靠
四区
质量保证 保密协议
工程技术，纺织工程，材料科学
了解详情严选服务 安全可靠
二区
质量保证 保密协议
渔业，鱼类生理学
了解详情严选服务 安全可靠
三区
质量保证 保密协议
渔业，鱼类生理学
了解详情严选服务 安全可靠
已签订
质量保证 保密协议
金融，环境经济
获取相关选题严选服务 安全可靠
三区
质量保证 保密协议
应用数学/计算物理
了解详情严选服务 安全可靠
三区
质量保证 保密协议
计算机，医学检测
了解详情严选服务 安全可靠
三区
质量保证 保密协议
计算机，物联网，智慧城市
了解详情系统设计中的正式方法报告了设计、实现和验证硬件（VLSI）和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合，这些方法将对未来的设计环境和设计方法产生重大影响。
https://www.editorialmanager.com/form/default.aspx
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.
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 3区 | 否 | 否 |
| JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
| Q3 | COMPUTER SCIENCE, THEORY & METHODS | Q3 | 1.1 |
| 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% |
| 影响因子 | h-index | Gold OA文章占比 | 研究类文章占比 | OA开放访问 | 平均审稿速度 |
| 1.1 | 47 | 37.04% | 100.00% | 未开放 | >12周，或约稿 |
快速预审、投刊前指导、专业学术评审，对文章进行评价；
立即咨询
校对编辑、深度润色,让稿件符合学术规范，格式体例等标准；
立即咨询
适用于语句和结构尚需完善和调整的中文文章，确保稿件达到要求；
立即咨询
数据库包括：期刊、文章、书籍、会议、预印书、百科全书和摘要等；
立即咨询
让作者在期刊选择时避免走弯路，缩短稿件被接收的周期；
立即咨询
根据目标期刊格式要求对作者文章进行全面的格式修改和调整；
立即咨询
帮助作者将稿件提交至目标期刊投稿系统，降低退稿或拒稿率；
立即咨询
按照您提供的稿件内容，指导完成投稿附信（cover letter）；
立即咨询| 大类学科同领域优质期刊 | 大类学科 | 小类学科 | 影响因子 | 分区 | ISSN |
|---|---|---|---|---|---|
| ACM Transactions on Computational Logic | 工程技术 | 计算机：理论方法 | 0.448 | N/A | 1529-3785 |
| ACM TRANSACTIONS ON COMPUTER SYSTEMS | 工程技术 | 计算机：理论方法 | 1.375 | N/A | 0734-2071 |
| Advances in Mathematics of Communications | 工程技术 | 计算机：理论方法 | 0.879 | N/A | 1930-5346 |
| COMPUTING | 工程技术 | 计算机：理论方法 | 2.063 | 4区 | 0010-485X |
| CRYPTOLOGIA | 工程技术 | 计算机：理论方法 | 0.417 | N/A | 0161-1194 |
| DISTRIBUTED COMPUTING | 工程技术 | 计算机：理论方法 | 1.326 | 4区 | 0178-2770 |
| FORMAL METHODS IN SYSTEM DESIGN | 工程技术 | 计算机：理论方法 | 0.787 | 4区 | 0925-9856 |
| Future Generation Computer Systems-The International Journal of eScience | 工程技术 | 计算机：理论方法 | 5.768 | N/A | 0167-739X |
| IEEE ANNALS OF THE HISTORY OF COMPUTING | 工程技术 | 计算机：理论方法 | 0.531 | N/A | 1058-6180 |
| IEEE Transactions on Information Forensics and Security | 工程技术 | 计算机：理论方法 | 6.211 | N/A | 1556-6013 |
