Finding and Fixing Faults

Stefan Simon Staber, Barbara Jobstmann, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalspracheenglisch
TitelCorrect Hardware Design and Verification Methods
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten35-49
Band3725
ISBN (Print)3-540-29105-9
DOIs
PublikationsstatusVeröffentlicht - 2005
VeranstaltungAdvanced Research Working Conference on Correct Hardware Design and Verification Methods - Saarbruecken, Deutschland
Dauer: 3 Okt. 2005 → 6 Okt. 2005

Publikationsreihe

NameLecture notes in computer science
Herausgeber (Verlag)Springer

Konferenz

KonferenzAdvanced Research Working Conference on Correct Hardware Design and Verification Methods
Land/GebietDeutschland
OrtSaarbruecken
Zeitraum3/10/05 → 6/10/05

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Zugriff auf Dokument

  • 1 Abgeschlossen

  • EU - Prosyd - Property-Based System Design

    Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

    1/01/04 → 31/12/06

    Projekt: Forschungsprojekt

Dieses zitieren