【24h】

Preface

机译:前言

获取原文
获取外文期刊封面目录资料

摘要

This volume contains the proceedings of the 10th Haifa Verification Conference (HVC 2014). The conference was hosted by IBM Research - Haifa and took place during November 18-20, 2014. It was the tenth event in this series of annual conferences dedicated to advancing the state of the art and state of the practice in verification and testing. The conference provided a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.
机译:该卷包含第十届海法核查会议(HVC 2014)的会议记录。该会议由IBM Research-Haifa主办,于2014年11月18日至20日举行。这是该系列年度会议中的第十次活动,致力于推动验证和测试的最新状态和实践水平。该会议为学术界和工业界的研究人员和从业人员提供了一个论坛,以分享他们的工作,交流思想,并讨论硬件,软件和复杂混合系统的测试和验证的未来方向。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号