Versenden
Drucken
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. 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: |
| ||||||||||||||||||||||||||||||||||||||||
| 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 | ||||||||||||||||||||||||||||||||||||||||
| 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: | 10 Jul 2023 12:26 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
