Execution Tracing of C Code for Formal Analysis

Riener, Heinz und Thomsen, Michael Kirkedal und Fey, Görschwin (2015) Execution Tracing of C Code for Formal Analysis. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015), 2015-03-03 - 2015-03-04, Chemnitz, Deutschland.

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

elib-URL des Eintrags:

https://elib.dlr.de/106000/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

Execution Tracing of C Code for Formal Analysis

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Riener, Heinz	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Thomsen, Michael Kirkedal	m.kirkedal (at) di.ku.dk	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Fey, Görschwin	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2015

Referierte Publikation:

Nein

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Nein

Status:

veröffentlicht

Stichwörter:

formal verification, semi-formal methods

Veranstaltungstitel:

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015)

Veranstaltungsort:

Chemnitz, Deutschland

Veranstaltungsart:

internationale Konferenz

Veranstaltungsbeginn:

3 März 2015

Veranstaltungsende:

4 März 2015

Veranstalter :

GI/GMM/ITG Workshop

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

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Mörz, Martina

Hinterlegt am:

13 Sep 2016 12:32

Letzte Änderung:

24 Apr 2024 20:11

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags