Ray, Sandip and Harris, Ian and Fey, Görschwin and Soeken, Mathias (2016) Multilevel Design Understanding: From Specification to logic. International Conference On Computer Aided Design (ICCAD) 2016, 2016-11-07 - 2016-11-10, Austin, USA. doi: 10.1145/2966986.2980093. ISBN 978-145034466-1. ISSN 1092-3152.
Full text not available from this repository.
| Item URL in elib: | https://elib.dlr.de/105926/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||
| Title: | Multilevel Design Understanding: From Specification to logic. | ||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||
| Date: | 2016 | ||||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||||
| Open Access: | No | ||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||||
| DOI: | 10.1145/2966986.2980093 | ||||||||||||||||||||
| ISSN: | 1092-3152 | ||||||||||||||||||||
| ISBN: | 978-145034466-1 | ||||||||||||||||||||
| Status: | Published | ||||||||||||||||||||
| Keywords: | Electronic Design Automation, Design Understanding | ||||||||||||||||||||
| Event Title: | International Conference On Computer Aided Design (ICCAD) 2016 | ||||||||||||||||||||
| Event Location: | Austin, USA | ||||||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||||||
| Event Start Date: | 7 November 2016 | ||||||||||||||||||||
| Event End Date: | 10 November 2016 | ||||||||||||||||||||
| Organizer: | IEEE/ACM | ||||||||||||||||||||
| 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 - Small Sat Kleinsatelliten (old), R - Systemtechnologien (old) | ||||||||||||||||||||
| Location: | Bremen | ||||||||||||||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||||||||||
| Deposited By: | Mörz, Martina | ||||||||||||||||||||
| Deposited On: | 08 Sep 2016 09:35 | ||||||||||||||||||||
| Last Modified: | 17 Oct 2024 15:01 |
Repository Staff Only: item control page