Ray, Sandip und Harris, Ian und Fey, Görschwin und 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.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
elib-URL des Eintrags: | https://elib.dlr.de/105926/ | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
Titel: | Multilevel Design Understanding: From Specification to logic. | ||||||||||||||||||||
Autoren: |
| ||||||||||||||||||||
Datum: | 2016 | ||||||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||||||
Open Access: | Nein | ||||||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||||||
In SCOPUS: | Nein | ||||||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||||||
DOI: | 10.1145/2966986.2980093 | ||||||||||||||||||||
ISSN: | 1092-3152 | ||||||||||||||||||||
ISBN: | 978-145034466-1 | ||||||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||||||
Stichwörter: | Electronic Design Automation, Design Understanding | ||||||||||||||||||||
Veranstaltungstitel: | International Conference On Computer Aided Design (ICCAD) 2016 | ||||||||||||||||||||
Veranstaltungsort: | Austin, USA | ||||||||||||||||||||
Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||
Veranstaltungsbeginn: | 7 November 2016 | ||||||||||||||||||||
Veranstaltungsende: | 10 November 2016 | ||||||||||||||||||||
Veranstalter : | IEEE/ACM | ||||||||||||||||||||
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 - Small Sat Kleinsatelliten (alt), R - Systemtechnologien (alt) | ||||||||||||||||||||
Standort: | Bremen | ||||||||||||||||||||
Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||||||||||||||
Hinterlegt von: | Mörz, Martina | ||||||||||||||||||||
Hinterlegt am: | 08 Sep 2016 09:35 | ||||||||||||||||||||
Letzte Änderung: | 17 Okt 2024 15:01 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags