Model-based diagnosis versus error explanation

Riener, Heinz und Fey, Görschwin (2012) Model-based diagnosis versus error explanation. ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2012-07-16 - 2012-07-17, Arlington, VA, USA. doi: 10.1109/MEMCOD.2012.6292299.

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

Offizielle URL: http://dx.doi.org/10.1109/MEMCOD.2012.6292299

elib-URL des Eintrags:

https://elib.dlr.de/78824/

Dokumentart:

Konferenzbeitrag (NICHT SPEZIFIZIERT)

Titel:

Model-based diagnosis versus error explanation

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Riener, Heinz	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Fey, Görschwin	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2012

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

DOI:

10.1109/MEMCOD.2012.6292299

Seitenbereich:

Seiten 43-52

Status:

veröffentlicht

Stichwörter:

Integrated circuit, electronic design automation, debugging

Veranstaltungstitel:

ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)

Veranstaltungsort:

Arlington, VA, USA

Veranstaltungsart:

internationale Konferenz

Veranstaltungsbeginn:

16 Juli 2012

Veranstaltungsende:

17 Juli 2012

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Raumfahrt

HGF - Programmthema:

Technik für Raumfahrtsysteme

DLR - Schwerpunkt:

Raumfahrt

DLR - Forschungsgebiet:

R SY - Technik für Raumfahrtsysteme

DLR - Teilgebiet (Projekt, Vorhaben):

R - Vorhaben Orbitale Systemtechnik (alt)

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Fey, Görschwin

Hinterlegt am:

17 Jan 2013 10:44

Letzte Änderung:

07 Jun 2024 11:13

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags