| 书目名称 | Hardware and Software, Verification and Testing | | 副标题 | First International | | 编辑 | Shmuel Ur,Eyal Bin,Yaron Wolfsthal | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery. | | 出版日期 | Conference proceedings 2006 | | 关键词 | Compiler; Debugging; Java; algorithmic debugging; algorithms; distributed systems; embedded systems; formal | | 版次 | 1 | | doi | https://doi.org/10.1007/11678779 | | isbn_softcover | 978-3-540-32604-5 | | isbn_ebook | 978-3-540-32605-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2006 |
The information of publication is updating
书目名称Hardware and Software, Verification and Testing影响因子(影响力)
书目名称Hardware and Software, Verification and Testing影响因子(影响力)学科排名
书目名称Hardware and Software, Verification and Testing网络公开度
书目名称Hardware and Software, Verification and Testing网络公开度学科排名
书目名称Hardware and Software, Verification and Testing被引频次
书目名称Hardware and Software, Verification and Testing被引频次学科排名
书目名称Hardware and Software, Verification and Testing年度引用
书目名称Hardware and Software, Verification and Testing年度引用学科排名
书目名称Hardware and Software, Verification and Testing读者反馈
书目名称Hardware and Software, Verification and Testing读者反馈学科排名
|
|
|
发表于 2025-3-21 16:24:57
