elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Execution Tracing of C Code for Formal Analysis

Riener, Heinz and Thomsen, Michael Kirkedal and 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), 03.-04. März 2015, Chemnitz, Deutschland.

Full text not available from this repository.


Item URL in elib:https://elib.dlr.de/106000/
Document Type:Conference or Workshop Item (Speech)
Title:Execution Tracing of C Code for Formal Analysis
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Riener, HeinzUNSPECIFIEDUNSPECIFIED
Thomsen, Michael Kirkedalm.kirkedal (at) di.ku.dkUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIED
Date:2015
Refereed publication:No
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
Keywords:formal verification, semi-formal methods
Event Title:Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015)
Event Location:Chemnitz, Deutschland
Event Type:international Conference
Event Dates:03.-04. März 2015
Organizer:GI/GMM/ITG Workshop
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Small Sat Kleinsatelliten (old), R - Core Avionics, R - Systemtechnologien
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Mörz, Martina
Deposited On:13 Sep 2016 12:32
Last Modified:02 Mar 2018 12:22

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.