Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen

Schlömer, Jöran (2015) Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen. Bachelorarbeit, Universtität Bremen.

PDF - Nur DLR-intern zugänglich
898kB

elib-URL des Eintrags:

Dokumentart:

Hochschulschrift (Bachelorarbeit)

Titel:

Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Schlömer, Jöran	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2015

Referierte Publikation:

Nein

Open Access:

Nein

Status:

veröffentlicht

Stichwörter:

Formale Verifikation, Erzeugung von Eigenschaften

Institution:

Universtität Bremen

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:

Hinterlegt von:

Fey, Görschwin

Hinterlegt am:

19 Jan 2016 12:15

Letzte Änderung:

19 Jan 2016 12:15

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags