FMCAD为学术界和工业界的研究人员提供了一个领先的论坛,以展示和讨论关于计算系统的开创性的方法、技术、理论结果和正式推理工具。FMCAD涵盖了计算机辅助系统设计的形式化方面,包括验证、规范、综合和测试。官网链接:http://www.cs.utexas.edu/users/hunt/FMCAD/
没有数据了, 换个别的吧!
参考链接
微信扫码咨询专知VIP会员