FORMAL METHODS IN SYSTEM DESIGN期刊中文简介
系统设计中的正式方法报告了设计、实现和验证硬件（VLSI）和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合，这些方法将对未来的设计环境和设计方法产生重大影响。
FORMAL METHODS IN SYSTEM DESIGN期刊英文简介
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.
FORMAL METHODS IN SYSTEM DESIGN期刊近年期刊自引率趋势图
FORMAL METHODS IN SYSTEM DESIGN期刊JCR分区
| JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
| Q3 | COMPUTER SCIENCE, THEORY & METHODS | Q3 | 1.1 |
FORMAL METHODS IN SYSTEM DESIGN近年期刊影响因子趋势图
FORMAL METHODS IN SYSTEM DESIGN期刊CiteScore数值
| 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% |
相关工程技术SCI期刊推荐
- SemimonthlyADVANCED MATERIALS
- SemimonthlyJOURNAL OF ALLOYS AND COMPOUNDS
- SemimonthlyAPPLIED CATALYSIS B-ENVIRONMENTAL
- SemimonthlyJOURNAL OF HAZARDOUS MATERIALS
- Journal of Materials Chemistry A
- MonthlyADVANCED FUNCTIONAL MATERIALS
- MonthlySmall
- MonthlyBiotechnology for Biofuels
- MonthlyJOURNAL OF THE ELECTROCHEMICAL SOCIETY
- Materials Science & Engineering C-Materials for Biological Applications
