Custom cover image
Custom cover image

Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings / edited by Laurence Pierre, Thomas Kropf

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 1703Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999Description: Online-RessourceISBN:
  • 9783540481539
  • 3540665595
Subject(s): Genre/Form: Additional physical formats: 9783540665595 | Buchausg. u.d.T.: Correct hardware design and verification methods. Berlin : Springer, 1999. XI, 366 S.MSC: MSC: *00B25 | 68-06 | 94-06RVK: RVK: SS 4800LOC classification:
  • QA75.5-76.95
  • TK7885-7895
DOI: DOI: 10.1007/3-540-48153-2Online resources: Summary: This book constitutes the refereed proceedings of the 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME'99, held in Bad Herrenalb, Germany in September 1999. The 20 revised full papers and 12 revised short papers presented together with two invited contributions were carefully reviewed and selected from 48 papers submitted. The papers are organized in topical sections on proofs of microprocessors, model checking, formal methods and industrial applications, abstraction and compositional techniques, theorem proving and related approaches, symbolic simulation and symbolic traversal, and specification languages and methodologiesPPN: PPN: 1649362293Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT