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

Institute of Applied Information Processing and Communications (7050)

Research output: Book/Report › Other report

Original language	German
Publisher	.
Publication status	Published - 2011

Fields of Expertise

Information, Communication & Computing

Cite this

@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

Other files and links

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

Formal Methods for Design & Verification

Cite this

Report on Reasoning Engines and Dynamic Techniques

Fields of Expertise

Other files and links

Projects

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

Formal Methods for Design & Verification

Cite this