Lecture Notes in Computer Science
Volume 2860, 2003, DOI: 10.1007/b93958

Correct Hardware Design and Verification Methods
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings

Daniel Geist and Enrico Tronci

Contents

Viewing all 35 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
Correct Hardware Design and Verification Methods
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2003
DOI
10.1007/b93958
ISBN
978-3-540-20363-6
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Wednesday, October 22, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002