FORMAL METHODS IN SYSTEM DESIGN

FORMAL METHODS IN SYSTEM DESIGN

系统设计中的形式化方法

期刊周期:Bimonthly
研究方向:工程技术
影响因子:0.787
通讯地址:SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
官网:http://link.springer.com/journal/10703
投稿地址:https://www.editorialmanager.com/form/default.aspx
审稿速度:>12周,或约稿

  中文简介

系统设计中的正式方法报告了设计、实现和验证硬件(VLSI)和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合,这些方法将对未来的设计环境和设计方法产生重大影响。

  英文简介

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.

  近年期刊自引率趋势图

  JCR分区

JCR分区等级 JCR所属学科 分区 影响因子
Q3 COMPUTER SCIENCE, THEORY & METHODS Q3 1.1

  近年期刊影响因子趋势图

  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期刊推荐

SCI服务

搜论文知识网的海量职称论文范文仅供广大读者免费阅读使用! 冀ICP备15021333号-3