elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Complete and effective robustness checking by means of interpolation

Frehse, Stefan and Fey, Görschwin and Arbel , Eli and Yorav, Karen and Drechsler, Rolf (2012) Complete and effective robustness checking by means of interpolation. Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK.

Full text not available from this repository.

Official URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462559


Item URL in elib:https://elib.dlr.de/84410/
Document Type:Conference or Workshop Item (Poster)
Title:Complete and effective robustness checking by means of interpolation
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Frehse, StefanUNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIED
Arbel , EliUNSPECIFIEDUNSPECIFIED
Yorav, KarenUNSPECIFIEDUNSPECIFIED
Drechsler, RolfUNSPECIFIEDUNSPECIFIED
Date:2012
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Page Range:pp. 82-90
Status:Published
Keywords:EDA, fault tolerance, formal methods
Event Title:Formal Methods in Computer-Aided Design (FMCAD)
Event Location:Cambridge, UK
Event Type:international Conference
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:other
DLR - Research area:Raumfahrt
DLR - Program:R - no assignment
DLR - Research theme (Project):R - no assignment
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Fey, Görschwin
Deposited On:26 Sep 2013 12:29
Last Modified:04 Oct 2016 12:52

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.