成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
ATVA
关注
0
ATVA 2019是第17届自动化技术验证与分析国际研讨会。本次专题讨论会致力于促进自动化分析、验证和综合的理论和实践方面的研究,为国际研究界和该领域的工业界之间的互动提供一个论坛。官网链接:
http://atva2019.iis.sinica.edu.tw/ a>
综合
百科
VIP
热门
动态
论文
精华
暂无数据
参考链接
父主题
Springer
软件工程
程序设计语言
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top