Versenden
Drucken
Frehse, Stefan und Fey, Görschwin und Arbel , Eli und Yorav, Karen und Drechsler, Rolf (2012) Complete and effective robustness checking by means of interpolation. Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462559
| elib-URL des Eintrags: | https://elib.dlr.de/84410/ | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Poster) | ||||||||||||||||||||||||
| Titel: | Complete and effective robustness checking by means of interpolation | ||||||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||||||
| Datum: | 2012 | ||||||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||||||
| Open Access: | Nein | ||||||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||||||
| Seitenbereich: | Seiten 82-90 | ||||||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||||||
| Stichwörter: | EDA, fault tolerance, formal methods | ||||||||||||||||||||||||
| Veranstaltungstitel: | Formal Methods in Computer-Aided Design (FMCAD) | ||||||||||||||||||||||||
| Veranstaltungsort: | Cambridge, UK | ||||||||||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||||||
| HGF - Programmthema: | keine Zuordnung | ||||||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||||||
| DLR - Forschungsgebiet: | R - keine Zuordnung | ||||||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - keine Zuordnung | ||||||||||||||||||||||||
| Standort: | Bremen | ||||||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||||||||||||||||||
| Hinterlegt von: | Fey, Görschwin | ||||||||||||||||||||||||
| Hinterlegt am: | 26 Sep 2013 12:29 | ||||||||||||||||||||||||
| Letzte Änderung: | 04 Okt 2016 12:52 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
