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:

Authors	Institution or Email of Authors	Author's ORCID iD	ORCID Put Code
Frehse, Stefan	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED
Fey, Görschwin	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED
Arbel , Eli	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED
Yorav, Karen	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED
Drechsler, Rolf	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED

Date:

2012

Refereed publication:

Yes

Open Access:

Gold Open Access:

In SCOPUS:

In ISI Web of Science:

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