Tell a friend
Print
Riener, Heinz and Fey, Görschwin (2012) Model-based diagnosis versus error explanation. ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2012-07-16 - 2012-07-17, Arlington, VA, USA. doi: 10.1109/MEMCOD.2012.6292299.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/MEMCOD.2012.6292299
| Item URL in elib: | https://elib.dlr.de/78824/ | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (UNSPECIFIED) | ||||||||||||
| Title: | Model-based diagnosis versus error explanation | ||||||||||||
| Authors: |
| ||||||||||||
| Date: | 2012 | ||||||||||||
| Refereed publication: | Yes | ||||||||||||
| Open Access: | No | ||||||||||||
| Gold Open Access: | No | ||||||||||||
| In SCOPUS: | No | ||||||||||||
| In ISI Web of Science: | No | ||||||||||||
| DOI: | 10.1109/MEMCOD.2012.6292299 | ||||||||||||
| Page Range: | pp. 43-52 | ||||||||||||
| Status: | Published | ||||||||||||
| Keywords: | Integrated circuit, electronic design automation, debugging | ||||||||||||
| Event Title: | ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) | ||||||||||||
| Event Location: | Arlington, VA, USA | ||||||||||||
| Event Type: | international Conference | ||||||||||||
| Event Start Date: | 16 July 2012 | ||||||||||||
| Event End Date: | 17 July 2012 | ||||||||||||
| 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 - Vorhaben Orbitale Systemtechnik (old) | ||||||||||||
| Location: | Bremen | ||||||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||
| Deposited By: | Fey, Görschwin | ||||||||||||
| Deposited On: | 17 Jan 2013 10:44 | ||||||||||||
| Last Modified: | 07 Jun 2024 11:13 |
Repository Staff Only: item control page
