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

FoREnSiC - an automatic debugging environment for C programs

Bloem, Roderick and Drechsler, Rolf and Fey, Görschwin and Finder, Alexander and Hofferek, Georg and Könighofer, Robert and Raik, Jaan and Repinski , Urmas and Sülflow, Andre (2012) FoREnSiC - an automatic debugging environment for C programs. IBM Haifa Verification Conference (HVC), Haifa, Israel.

Full text not available from this repository.

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


Document Type:Conference or Workshop Item (Speech)
Title:FoREnSiC - an automatic debugging environment for C programs
Authors:
AuthorsInstitution or Email of Authors
Bloem, RoderickUNSPECIFIED
Drechsler, RolfUNSPECIFIED
Fey, GörschwinUNSPECIFIED
Finder, AlexanderUNSPECIFIED
Hofferek, GeorgUNSPECIFIED
Könighofer, RobertUNSPECIFIED
Raik, JaanUNSPECIFIED
Repinski , UrmasUNSPECIFIED
Sülflow, AndreUNSPECIFIED
Date:2012
Refereed publication:Yes
In ISI Web of Science:No
Status:Published
Keywords:Debuging, Software, Hardware, integrierte Schaltkreise, EDA
Event Title:IBM Haifa Verification Conference (HVC)
Event Location:Haifa, Israel
Event Type:international Conference
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:other
DLR - Research area:Raumfahrt
DLR - Program:R - no assignement
DLR - Research theme (Project):R -- no assignement
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avioniksysteme
Deposited By: Görschwin Fey
Deposited On:01 Oct 2013 12:44
Last Modified:08 May 2014 23:29

Repository Staff Only: item control page

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