Tell a friend
Print
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), 2012-11-06 - 2012-11-08, Haifa, Israel. doi: 10.1007/978-3-642-39611-3_24.
Full text not available from this repository.
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-642-39611-3_24
| Item URL in elib: | https://elib.dlr.de/84408/ | ||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||||||||||||||||||||||
| Title: | FoREnSiC - an automatic debugging environment for C programs | ||||||||||||||||||||||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||||||||||||||||||||||
| Date: | 2012 | ||||||||||||||||||||||||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||||||||||||||||||||||||
| Open Access: | No | ||||||||||||||||||||||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||||||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||||||||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||||||||||||||||||||||||
| DOI: | 10.1007/978-3-642-39611-3_24 | ||||||||||||||||||||||||||||||||||||||||
| Page Range: | pp. 260-265 | ||||||||||||||||||||||||||||||||||||||||
| Status: | Published | ||||||||||||||||||||||||||||||||||||||||
| Keywords: | Debuging, Software, Hardware, integrierte Schaltkreise, EDA | ||||||||||||||||||||||||||||||||||||||||
| Event Title: | IBM Haifa Verification Conference (HVC) | ||||||||||||||||||||||||||||||||||||||||
| Event Location: | Haifa, Israel | ||||||||||||||||||||||||||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||||||||||||||||||||||||||
| Event Start Date: | 6 November 2012 | ||||||||||||||||||||||||||||||||||||||||
| Event End Date: | 8 November 2012 | ||||||||||||||||||||||||||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||||||||||||||||||||||
| HGF - Program: | Space | ||||||||||||||||||||||||||||||||||||||||
| HGF - Program Themes: | other | ||||||||||||||||||||||||||||||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||||||||||||||||||||||||||||||
| DLR - Program: | R - no assignment | ||||||||||||||||||||||||||||||||||||||||
| DLR - Research theme (Project): | R - no assignment | ||||||||||||||||||||||||||||||||||||||||
| Location: | Bremen | ||||||||||||||||||||||||||||||||||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||||||||||||||||||||||||||||||
| Deposited By: | Fey, Görschwin | ||||||||||||||||||||||||||||||||||||||||
| Deposited On: | 01 Oct 2013 12:44 | ||||||||||||||||||||||||||||||||||||||||
| Last Modified: | 04 Jun 2024 14:21 |
Repository Staff Only: item control page
