Status on Reasoning Engines and Dynamic Techniques

Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Oleg Rokhlenko, Stephen Scholefield

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht

Originalsprache	englisch
Verlag	.
Publikationsstatus	Veröffentlicht - 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
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