Versenden
Drucken
Thole, Niels und Riener, Heinz und Fey, Görschwin (2016) Equivalence Checking on ESL Utilizing A Priori Knowledge. Forum on specification & Design Languages (FDL) 2016, 2016-09-14 - 2016-09-16, Bremen, Deutschland. doi: 10.1109/FDL.2016.7880367. ISBN 979-109227917-7. ISSN 1636-9874.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Nur DLR-intern zugänglich
279kB |
| elib-URL des Eintrags: | https://elib.dlr.de/105922/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Titel: | Equivalence Checking on ESL Utilizing A Priori Knowledge | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | 2016 | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| DOI: | 10.1109/FDL.2016.7880367 | ||||||||||||||||
| ISSN: | 1636-9874 | ||||||||||||||||
| ISBN: | 979-109227917-7 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Electronic Design Automation, Equivalence Checking, Formal Methods | ||||||||||||||||
| Veranstaltungstitel: | Forum on specification & Design Languages (FDL) 2016 | ||||||||||||||||
| Veranstaltungsort: | Bremen, Deutschland | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| Veranstaltungsbeginn: | 14 September 2016 | ||||||||||||||||
| Veranstaltungsende: | 16 September 2016 | ||||||||||||||||
| Veranstalter : | Electronic Chips & Systems Design Initiative | ||||||||||||||||
| 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:30 | ||||||||||||||||
| Letzte Änderung: | 21 Okt 2024 10:59 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
