The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.
The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.
Imprint | Springer |
Country of origin | United States |
Release date | 2007 |
Availability | We don't currently have any sources for this product. If you add this item to your wish list we will let you know when it becomes available. |
Editors | Eyal Bin, Avi Ziv, Shmuel Ur |
Format | Electronic book text |
Pages | 246 |
ISBN-13 | 978-6610865710 |
Barcode | 9786610865710 |
Categories | |
LSN | 661086571X |