Finding and Fixing Faults

Stefan Simon Staber; Barbara Jobstmann; Roderick Paul Bloem

doi:10.1007/11560548_6

Finding and Fixing Faults

Stefan Simon Staber, Barbara Jobstmann, Roderick Paul Bloem

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Correct Hardware Design and Verification Methods
Place of Publication	Berlin [u.a.]
Publisher	Springer
Pages	35-49
Volume	3725
ISBN (Print)	3-540-29105-9
DOIs	https://doi.org/10.1007/11560548_6
Publication status	Published - 2005
Event	Advanced Research Working Conference on Correct Hardware Design and Verification Methods - Saarbruecken, Germany Duration: 3 Oct 2005 → 6 Oct 2005

Publication series

Name	Lecture notes in computer science
Publisher	Springer

Conference

Conference	Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Country/Territory	Germany
City	Saarbruecken
Period	3/10/05 → 6/10/05

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

10.1007/11560548_6

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project

Cite this

@inproceedings{8cb3125e01844910af8094ed410eea63,

title = "Finding and Fixing Faults",

author = "Staber, {Stefan Simon} and Barbara Jobstmann and Bloem, {Roderick Paul}",

year = "2005",

doi = "10.1007/11560548_6",

language = "English",

isbn = "3-540-29105-9",

volume = "3725",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "35--49",

booktitle = "Correct Hardware Design and Verification Methods",

note = "Advanced Research Working Conference on Correct Hardware Design and Verification Methods ; Conference date: 03-10-2005 Through 06-10-2005",

}

TY - GEN

T1 - Finding and Fixing Faults

AU - Staber, Stefan Simon

AU - Jobstmann, Barbara

AU - Bloem, Roderick Paul

PY - 2005

Y1 - 2005

U2 - 10.1007/11560548_6

DO - 10.1007/11560548_6

M3 - Conference paper

SN - 3-540-29105-9

VL - 3725

T3 - Lecture notes in computer science

SP - 35

EP - 49

BT - Correct Hardware Design and Verification Methods

PB - Springer

CY - Berlin [u.a.]

T2 - Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Y2 - 3 October 2005 through 6 October 2005

ER -

Finding and Fixing Faults

Publication series

Conference

Treatment code (Nähere Zuordnung)

Access to Document

Projects

EU - Prosyd - Property-Based System Design

Cite this