Report on Reasoning Engines and Dynamic Techniques

Rolf Drechsler; Görschwin Fey; Alexander Finder; Georg Hofferek; Robert Könighofer; Eli Arbel; Jaan Raik; Urmas Repinski; Artur Jutman; Stephen Scholefield

Report on Reasoning Engines and Dynamic Techniques

Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Eli Arbel, Jaan Raik, Urmas Repinski, Artur Jutman, Stephen Scholefield

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht

Originalsprache	deutsch
Verlag	.
Publikationsstatus	Veröffentlicht - 2011

Fields of Expertise

Information, Communication & Computing

Andere Dateien und Links

http://fp7-diamond.eu/files/DIAMOND_D14.pdf

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
Projekt: Forschungsprojekt
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
Projekt: Arbeitsgebiet

Dieses zitieren

@book{318edb194da74577a3592e233081069b,

title = "Report on Reasoning Engines and Dynamic Techniques",

author = "Rolf Drechsler and G{\"o}rschwin Fey and Alexander Finder and Georg Hofferek and Robert K{\"o}nighofer and Eli Arbel and Jaan Raik and Urmas Repinski and Artur Jutman and Stephen Scholefield",

year = "2011",

language = "deutsch",

publisher = ".",

}

TY - BOOK

T1 - Report on Reasoning Engines and Dynamic Techniques

AU - Drechsler, Rolf

AU - Fey, Görschwin

AU - Finder, Alexander

AU - Hofferek, Georg

AU - Könighofer, Robert

AU - Arbel, Eli

AU - Raik, Jaan

AU - Repinski, Urmas

AU - Jutman, Artur

AU - Scholefield, Stephen

PY - 2011

Y1 - 2011

UR - http://fp7-diamond.eu/files/DIAMOND_D14.pdf

M3 - Sonstiger Bericht

BT - Report on Reasoning Engines and Dynamic Techniques

PB - .

ER -

Report on Reasoning Engines and Dynamic Techniques

Fields of Expertise

Andere Dateien und Links

Projekte

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

Formal Methods for Design & Verification

Dieses zitieren