| 書目名稱 | Hardware and Software, Verification and Testing | | 副標(biāo)題 | First International | | 編輯 | Shmuel Ur,Eyal Bin,Yaron Wolfsthal | | 視頻video | http://file.papertrans.cn/425/424205/424205.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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影響因子(影響力)學(xué)科排名
書目名稱Hardware and Software, Verification and Testing網(wǎng)絡(luò)公開度
書目名稱Hardware and Software, Verification and Testing網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Hardware and Software, Verification and Testing被引頻次
書目名稱Hardware and Software, Verification and Testing被引頻次學(xué)科排名
書目名稱Hardware and Software, Verification and Testing年度引用
書目名稱Hardware and Software, Verification and Testing年度引用學(xué)科排名
書目名稱Hardware and Software, Verification and Testing讀者反饋
書目名稱Hardware and Software, Verification and Testing讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 08:57
發(fā)表于 2025-3-21 16:24:57
