Exact Diagnosis using Boolean Satisfiability

Riener, Heinz and Fey, Görschwin (2016) Exact Diagnosis using Boolean Satisfiability. International Conference On Computer Aided Design (ICCAD) 2016, 2016-11-07 - 2016-11-10, Austin, USA. doi: 10.1145/2966986.2967036. ISBN 978-145034466-1.

PDF - Only accessible within DLR
343kB

Item URL in elib:

https://elib.dlr.de/105925/

Document Type:

Conference or Workshop Item (Speech)

Title:

Exact Diagnosis using Boolean Satisfiability

Authors:

Authors	Institution or Email of Authors	Author's ORCID iD	ORCID Put Code
Riener, Heinz	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED
Fey, Görschwin	UNSPECIFIED	UNSPECIFIED	UNSPECIFIED

Date:

2016

Refereed publication:

Yes

Open Access:

Gold Open Access:

In SCOPUS:

In ISI Web of Science:

DOI:

10.1145/2966986.2967036

ISBN:

978-145034466-1

Status:

Published

Keywords:

Debugging, Electronic Design Automation, Formal Methods

Event Title:

International Conference On Computer Aided Design (ICCAD) 2016

Event Location:

Austin, USA

Event Type:

international Conference

Event Start Date:

7 November 2016

Event End Date:

10 November 2016

Organizer:

IEEE/ACM

HGF - Research field:

Aeronautics, Space and Transport

HGF - Program:

Space

HGF - Program Themes:

Space System Technology

DLR - Research area:

Raumfahrt

DLR - Program:

R SY - Space System Technology

DLR - Research theme (Project):

R - Small Sat Kleinsatelliten (old), R - Systemtechnologien (old)

Location:

Bremen

Institutes and Institutions:

Institute of Space Systems > Avionics Systems

Deposited By:

Mörz, Martina

Deposited On:

08 Sep 2016 09:33

Last Modified:

24 Apr 2024 20:11

Repository Staff Only: item control page