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

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), 11. April 2016, 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:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Riener, HeinzUNSPECIFIEDUNSPECIFIED
Könighofer, RobertUNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIED
Bloem, RoderickUNSPECIFIEDUNSPECIFIED
Date:2016
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
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 Dates: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 Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Small Sat Kleinsatelliten (old), R - Systemtechnologien, R - Core Avionics
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:08 Sep 2016 09:45

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.