FP7 DIAMOND: Design Error Diagnosis and Correction Success Stories

Jaan Raik; Maksim Jenihhin; Robert Könighofer; Georg Hofferek; Alexander Finder; Görschwin Fey

FP7 DIAMOND: Design Error Diagnosis and Correction Success Stories

Jaan Raik, Maksim Jenihhin, Robert Könighofer, Georg Hofferek, Alexander Finder, Görschwin Fey

Institute of Applied Information Processing and Communications (7050)

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

Original language	English
Title of host publication	IEEE European Test Symposium
Publisher	.
Publication status	Accepted/In press - 2013
Event	IEEE European Test Symposium - Avignon, France Duration: 27 May 2013 → 31 May 2013

Conference

Conference	IEEE European Test Symposium
Country/Territory	France
City	Avignon
Period	27/05/13 → 31/05/13

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Cite this

@inproceedings{1f2083f7c57148c2af2cdab61d481445,

title = "FP7 DIAMOND: Design Error Diagnosis and Correction Success Stories",

author = "Jaan Raik and Maksim Jenihhin and Robert K{\"o}nighofer and Georg Hofferek and Alexander Finder and G{\"o}rschwin Fey",

year = "2013",

language = "English",

booktitle = "IEEE European Test Symposium",

publisher = ".",

note = "IEEE European Test Symposium ; Conference date: 27-05-2013 Through 31-05-2013",

}

TY - GEN

T1 - FP7 DIAMOND: Design Error Diagnosis and Correction Success Stories

AU - Raik, Jaan

AU - Jenihhin, Maksim

AU - Könighofer, Robert

AU - Hofferek, Georg

AU - Finder, Alexander

AU - Fey, Görschwin

PY - 2013

Y1 - 2013

UR - http://www.lirmm.fr/ETS13/program.php

M3 - Conference paper

BT - IEEE European Test Symposium

PB - .

T2 - IEEE European Test Symposium

Y2 - 27 May 2013 through 31 May 2013

ER -

FP7 DIAMOND: Design Error Diagnosis and Correction Success Stories

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Other files and links

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this

FP7 DIAMOND: Design Error Diagnosis and Correction Success Stories

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Other files and links

Projects

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this