万维书刊网微信二维码

扫微信,关注编辑QQ!

您的位置:万维书刊网 >>sci/e期刊大全 >>工程技术1>>计算机(理论方法)
您的位置:万维书刊网 >>ei外国期刊 >>计算机科学>>硬件与架构
您的位置:万维书刊网 >>ei外国期刊 >>计算机科学>>软件
您的位置:万维书刊网 >>ei外国期刊 >>计算机科学>>理论计算机科学

Formal Methods in System Design《系统设计的形式化方法》 (官网投稿)

简介
  • 期刊简称FORM METHOD SYST DES
  • 参考译名《系统设计的形式化方法》
  • 核心类别 EI 外国期刊, SCIE核心, 高质量科技期刊(T2), 目次收录(维普), 知网外文库,外文期刊,
  • IF影响因子
  • 自引率
  • 主要研究方向计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机:理论方法。聚焦形式化方法在硬件与软件系统设计中的创新应用与前沿探索。征稿本领域相关的形式化方法原创研究成果,涵盖理论突破、技术革新与实践应用全创新链条。展开更多

主要研究方向:

等待设置主要研究方向
计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机:理论方法。聚焦形式化方法在硬件与软件系统设计中的创新应用与前沿探索。征稿本领域相关的形式化方法原创研究成果,涵盖理论突破、技术革新与实践应用全创新链条。

Formal Methods in System Design《系统设计的形式化方法》(双月刊). Formal Methods in System Design reports on the latest formal methods for designing,&n...[显示全部]
征稿信息

万维提示:

1、投稿方式:在线投稿。

2、期刊网址:https://link.springer.com/journal/10703

3、投稿网址:

https://submission.nature.com/new-submission/10703/3

4、期刊刊期:双月刊,一年出版6期。

2025116星期四


  • 万维QQ投稿交流群    招募志愿者

    版权所有 Copyright@2009-2015豫ICP备09037080号

     纯自助论文投稿平台    E-mail:eshukan@163.com


投稿问答最小化  关闭