Status on Implementation-Level Diagnosis

Görschwin Fey; Alexander Finder; Georg Hofferek; Robert Könighofer; Erik Larsson; Urban Ingelsson; Jaan Raik; Eli Arbel; Artur Jutman; Gunnar Carlsson; Stephen Scholefield

Status on Implementation-Level Diagnosis

Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Erik Larsson, Urban Ingelsson, Jaan Raik, Eli Arbel, Artur Jutman, Gunnar Carlsson, Stephen Scholefield

Institute of Applied Information Processing and Communications (7050)

Research output: Book/Report › Other report

Original language	English
Publisher	.
Publication status	Published - 2010

Fields of Expertise

Information, Communication & Computing

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Project: Research project
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Project: Research area

Cite this

@book{2402d229ca1144f5a65bbafa4385c097,

title = "Status on Implementation-Level Diagnosis",

author = "G{\"o}rschwin Fey and Alexander Finder and Georg Hofferek and Robert K{\"o}nighofer and Erik Larsson and Urban Ingelsson and Jaan Raik and Eli Arbel and Artur Jutman and Gunnar Carlsson and Stephen Scholefield",

year = "2010",

language = "English",

publisher = ".",

}

TY - BOOK

T1 - Status on Implementation-Level Diagnosis

AU - Fey, Görschwin

AU - Finder, Alexander

AU - Hofferek, Georg

AU - Könighofer, Robert

AU - Larsson, Erik

AU - Ingelsson, Urban

AU - Raik, Jaan

AU - Arbel, Eli

AU - Jutman, Artur

AU - Carlsson, Gunnar

AU - Scholefield, Stephen

PY - 2010

Y1 - 2010

M3 - Other report

BT - Status on Implementation-Level Diagnosis

PB - .

ER -

Status on Implementation-Level Diagnosis

Fields of Expertise

Projects

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

Formal Methods for Design & Verification

Cite this