Riener, Heinz und Ehlers, Rüdiger und Fey, Görschwin (2015) Path-Based Program Repair. International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), 2015-04-12, London, United Kingdom. doi: 10.4204/EPTCS.178.3.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: https://doi.org/10.4204/EPTCS.178.3
| elib-URL des Eintrags: | https://elib.dlr.de/101506/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Zusätzliche Informationen: | Ergebnis aus H2020 Projekt | ||||||||||||||||
| Titel: | Path-Based Program Repair | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | 2015 | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| DOI: | 10.4204/EPTCS.178.3 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Formal Methods, Debugging, Repair, Programming | ||||||||||||||||
| Veranstaltungstitel: | International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA) | ||||||||||||||||
| Veranstaltungsort: | London, United Kingdom | ||||||||||||||||
| Veranstaltungsart: | Workshop | ||||||||||||||||
| Veranstaltungsdatum: | 12 April 2015 | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Core Avionics (alt) | ||||||||||||||||
| Standort: | Bremen | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||||||||||
| Hinterlegt von: | Fey, Görschwin | ||||||||||||||||
| Hinterlegt am: | 19 Jan 2016 12:04 | ||||||||||||||||
| Letzte Änderung: | 19 Aug 2024 12:19 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags