Counterexample-Guided Diagnosis

Riener, Heinz und Fey, Görschwin (2016) Counterexample-Guided Diagnosis. IEEE International Verification and Security Workshop, 2016-07-04 - 2016-07-06, Sant Feliu de Guixols, Spanien. doi: 10.1109/IVSW.2016.7566605. ISBN 978-150901141-4.

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

elib-URL des Eintrags:

https://elib.dlr.de/105971/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

Counterexample-Guided Diagnosis

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:

2016

Referierte Publikation:

Nein

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

DOI:

10.1109/IVSW.2016.7566605

ISBN:

978-150901141-4

Status:

veröffentlicht

Stichwörter:

Debugging

Veranstaltungstitel:

IEEE International Verification and Security Workshop

Veranstaltungsort:

Sant Feliu de Guixols, Spanien

Veranstaltungsart:

Workshop

Veranstaltungsbeginn:

4 Juli 2016

Veranstaltungsende:

6 Juli 2016

Veranstalter :

IEEE

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 - Core Avionics (alt), R - Systemtechnologien (alt), R - Small Sat Kleinsatelliten (alt)

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Mörz, Martina

Hinterlegt am:

08 Sep 2016 09:47

Letzte Änderung:

24 Apr 2024 20:11

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags