Equivalence Checking on System Level Using a Priori Knowledge

Thole, Niels und Riener, Heinz und Fey, Görschwin (2015) Equivalence Checking on System Level Using a Priori Knowledge. International Symposium on Design and Diagnostics of Eletronic Circuits & Systems (DDECS), 2015-04-22 - 2015-04-24, Belgrad, Serbien. doi: 10.1109/DDECS.2015.24.

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

Offizielle URL: http://dx.doi.org/10.1109/DDECS.2015.24

elib-URL des Eintrags:

https://elib.dlr.de/101503/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

Equivalence Checking on System Level Using a Priori Knowledge

Autoren:

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

Datum:

2015

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

DOI:

10.1109/DDECS.2015.24

Seitenbereich:

Seiten 177-182

Status:

veröffentlicht

Stichwörter:

EDA, Formal Methods, System Design, Equivalence Checking

Veranstaltungstitel:

International Symposium on Design and Diagnostics of Eletronic Circuits & Systems (DDECS)

Veranstaltungsort:

Belgrad, Serbien

Veranstaltungsart:

internationale Konferenz

Veranstaltungsbeginn:

22 April 2015

Veranstaltungsende:

24 April 2015

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)

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Fey, Görschwin

Hinterlegt am:

19 Jan 2016 11:56

Letzte Änderung:

05 Jun 2024 08:09

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags