HVC 2015是致力于推进验证和测试领域最先进和最实用的年度会议系列中的第11次。
该会议为来自学术界和工业界的研究人员和从业人员提供了一个论坛,以分享他们的工作,交流想法,并讨论硬件、软件和复杂混合系统测试和验证的未来方向。
这些技术的共同基本目标是确保复杂系统的正确功能和性能。HVC是唯一一次将来自所有验证和测试子领域的研究人员和实践者聚集在一起的会议,从而鼓励方法和思想在各个领域之间的迁移。
重要日期
|
论文提交截止日期: |
2015年7月24日 2015年7月31日 (格林尼治标准时间下午11.59) |
|
作者接受通知: |
2015年9月4日 |
|
最终稿件到期日: |
2015年9月14日 |
|
海报提交截止日期: |
2015年9月18日 2015年9月30日 (格林尼治标准时间下午11.59) |
|
会议: |
2015年11月17日至19日 |
|
教程: |
2015年11月16日 |
|
赞助商