SMT-based CPS Parameter Synthesis

Riener, Heinz and Könighofer, Robert and Fey, Görschwin and Bloem, Roderick (2016) SMT-based CPS Parameter Synthesis. Applied Verification for Continuous and Hybrid Systems (ARCH), 2016-04-11, Wien, Österreich.

Full text not available from this repository.

Item URL in elib:

https://elib.dlr.de/105966/

Document Type:

Conference or Workshop Item (Speech)

Title:

SMT-based CPS Parameter Synthesis

Authors:

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

Date:

2016

Refereed publication:

Yes

Open Access:

Gold Open Access:

In SCOPUS:

In ISI Web of Science:

Status:

Published

Keywords:

Cyber Physical Systems, Synthesis

Event Title:

Applied Verification for Continuous and Hybrid Systems (ARCH)

Event Location:

Wien, Österreich

Event Type:

Workshop

Event Date:

11 April 2016

Organizer:

Applied Verification for Continuous and Hybrid Systems

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), R - Core Avionics (old)

Location:

Bremen

Institutes and Institutions:

Institute of Space Systems > Avionics Systems

Deposited By:

Mörz, Martina

Deposited On:

08 Sep 2016 09:45

Last Modified:

24 Apr 2024 20:11

Repository Staff Only: item control page