会员服务
FMSD报告了设计、实现和验证硬件（VLSI）和软件系统正确性的最新形式化方法。读者会发现高质量的、原创的、描述研究和开发各个方面的论文。对该杂志的贡献服务于它的目标，即开发一个重要的、非常有用的、通常适用的形式化方法集合，这些方法将对未来的设计环境和设计方法产生重大影响。官网链接：https://link.springer.com/journal/10703

精品内容

没有数据了, 换个别的吧!
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top