Equivalence Checking on ESL Utilizing A Priori Knowledge

Thole, Niels und Riener, Heinz und Fey, Görschwin (2016) Equivalence Checking on ESL Utilizing A Priori Knowledge. Forum on specification & Design Languages (FDL) 2016, 14.-16. Sept. 2016, Bremen, Deutschland. doi: 10.1109/FDL.2016.7880367. ISBN 979-109227917-7. ISSN 16369874.

PDF - Nur DLR-intern zugänglich
279kB

elib-URL des Eintrags:

https://elib.dlr.de/105922/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

Equivalence Checking on ESL Utilizing 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:

2016

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

DOI:

10.1109/FDL.2016.7880367

ISSN:

16369874

ISBN:

979-109227917-7

Status:

veröffentlicht

Stichwörter:

Electronic Design Automation, Equivalence Checking, Formal Methods

Veranstaltungstitel:

Forum on specification & Design Languages (FDL) 2016

Veranstaltungsort:

Bremen, Deutschland

Veranstaltungsart:

internationale Konferenz

Veranstaltungsdatum:

14.-16. Sept. 2016

Veranstalter :

Electronic Chips & Systems Design Initiative

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

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Mörz, Martina

Hinterlegt am:

08 Sep 2016 09:30

Letzte Änderung:

26 Apr 2017 13:20

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags