征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms that can handle systems of considerable complexity, the transition to industrial applications is challenging. The workshop on applied verification for continuous and hybrid systems (ARCH) aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.

征稿信息

重要日期

2014-02-19
初稿截稿日期

征稿范围

Topics include, but are not limited to Reachability analysis and theorem proving Tools and tool demos Benchmark problems and experience reports Certification requirements for typical systems Open issues for industrial success
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 04月14日

    2014

    会议日期

  • 02月19日 2014

    初稿截稿日期

  • 04月14日 2014

    注册截止日期

主办单位
美国计算机学会
IEEE Signal Processing Society
联系方式
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询