系统设计中的正式方法报告了设计、实现和验证硬件（VLSI）和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合，这些方法将对未来的设计环境和设计方法产生重大影响。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 3区 | 否 | 否 |
| JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
| Q3 | COMPUTER SCIENCE, THEORY & METHODS | Q3 | 1.1 |
* 请认真填写需求信息，我们会在24小时内与您取得联系。
