elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | 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), Haifa, Israel.

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

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


Dokumentart:Konferenzbeitrag (Vortrag)
Titel:FoREnSiC - an automatic debugging environment for C programs
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID
Bloem, RoderickNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Drechsler, RolfNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fey, GörschwinNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Finder, AlexanderNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Hofferek, GeorgNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Könighofer, RobertNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Raik, JaanNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Repinski , UrmasNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Sülflow, AndreNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2012
Referierte Publikation:Ja
In Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
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
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 Okt 2016 12:47

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

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