![goback](data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 12 20"><path d="M10,0l2,2l-8,8l8,8l-2,2L0,10L10,0z" fill="%23fff"/></svg>){kind=icon}
FORMAL METHODS IN SYSTEM DESIGN
期刊信息导读
- FORMAL METHODS IN SYSTEM DESIGN基本信息
- FORMAL METHODS IN SYSTEM DESIGN中科院SCI期刊分区
- 历年FORMAL METHODS IN SYSTEM DESIGN影响因子趋势图
- FORMAL METHODS IN SYSTEM DESIGN期刊英文简介
- FORMAL METHODS IN SYSTEM DESIGN期刊中文简介
FORMAL METHODS IN SYSTEM DESIGN基本信息
简称：FORM METHOD SYST DES
中文名称：系统设计中的形式化方法
SCI类别：SCIE
是否OA开放访问：No
出版地：UNITED STATES
出版周期：Bimonthly
涉及的研究方向：工程技术-计算机：理论方法
通讯方式：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
官方网站：http://link.springer.com/journal/10703
投稿网址：https://www.editorialmanager.com/form/default.aspx
审稿速度：>12周，或约稿
平均录用比例:容易
PMC链接：http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0925-9856%5BISSN%5D
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期刊中文简介
系统设计中的正式方法报告了设计、实现和验证硬件（VLSI）和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合，这些方法将对未来的设计环境和设计方法产生重大影响。
中科院SCI期刊分区：
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 3区 | 否 | 否 |
FORMAL METHODS IN SYSTEM DESIGN影响因子
