elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

FoREnSiC - an automatic debugging environment for C programs

Bloem, Roderick und Drechsler, Rolf und Fey, Görschwin und Finder, Alexander und Hofferek, Georg und Könighofer, Robert und Raik, Jaan und Repinski , Urmas und Sülflow, Andre (2012) FoREnSiC - an automatic debugging environment for C programs. IBM Haifa Verification Conference (HVC), 2012-11-06 - 2012-11-08, Haifa, Israel. doi: 10.1007/978-3-642-39611-3_24.

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

Offizielle URL: http://link.springer.com/chapter/10.1007%2F978-3-642-39611-3_24


elib-URL des Eintrags:https://elib.dlr.de/84408/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:FoREnSiC - an automatic debugging environment for C programs
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Bloem, RoderickNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Drechsler, RolfNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fey, GörschwinNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Finder, AlexanderNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Hofferek, GeorgNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Könighofer, RobertNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Raik, JaanNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Repinski , UrmasNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Sülflow, AndreNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2012
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
DOI:10.1007/978-3-642-39611-3_24
Seitenbereich:Seiten 260-265
Status:veröffentlicht
Stichwörter:Debuging, Software, Hardware, integrierte Schaltkreise, EDA
Veranstaltungstitel:IBM Haifa Verification Conference (HVC)
Veranstaltungsort:Haifa, Israel
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:6 November 2012
Veranstaltungsende:8 November 2012
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Raumfahrt
HGF - Programmthema:keine Zuordnung
DLR - Schwerpunkt:Raumfahrt
DLR - Forschungsgebiet:R - keine Zuordnung
DLR - Teilgebiet (Projekt, Vorhaben):R - keine Zuordnung
Standort: Bremen
Institute & Einrichtungen:Institut für Raumfahrtsysteme > Avioniksysteme
Hinterlegt von: Fey, Görschwin
Hinterlegt am:01 Okt 2013 12:44
Letzte Änderung:04 Jun 2024 14:21

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.