Tell a friend
Print
Riener, Heinz and Fey, Görschwin (2016) Counterexample-Guided Diagnosis. IEEE International Verification and Security Workshop, 2016-07-04 - 2016-07-06, Sant Feliu de Guixols, Spanien. doi: 10.1109/IVSW.2016.7566605. ISBN 978-150901141-4.
Full text not available from this repository.
| Item URL in elib: | https://elib.dlr.de/105971/ | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||
| Title: | Counterexample-Guided Diagnosis | ||||||||||||
| Authors: |
| ||||||||||||
| Date: | 2016 | ||||||||||||
| Refereed publication: | No | ||||||||||||
| Open Access: | No | ||||||||||||
| Gold Open Access: | No | ||||||||||||
| In SCOPUS: | No | ||||||||||||
| In ISI Web of Science: | No | ||||||||||||
| DOI: | 10.1109/IVSW.2016.7566605 | ||||||||||||
| ISBN: | 978-150901141-4 | ||||||||||||
| Status: | Published | ||||||||||||
| Keywords: | Debugging | ||||||||||||
| Event Title: | IEEE International Verification and Security Workshop | ||||||||||||
| Event Location: | Sant Feliu de Guixols, Spanien | ||||||||||||
| Event Type: | Workshop | ||||||||||||
| Event Start Date: | 4 July 2016 | ||||||||||||
| Event End Date: | 6 July 2016 | ||||||||||||
| Organizer: | IEEE | ||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||
| HGF - Program: | Space | ||||||||||||
| HGF - Program Themes: | Space System Technology | ||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||
| DLR - Program: | R SY - Space System Technology | ||||||||||||
| DLR - Research theme (Project): | R - Core Avionics (old), R - Systemtechnologien (old), R - Small Sat Kleinsatelliten (old) | ||||||||||||
| Location: | Bremen | ||||||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||
| Deposited By: | Mörz, Martina | ||||||||||||
| Deposited On: | 08 Sep 2016 09:47 | ||||||||||||
| Last Modified: | 24 Apr 2024 20:11 |
Repository Staff Only: item control page
