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

Designing Reliable Cyber-Physical Systems

Aleksandrowicz, Gadi and Arbel, Eli and Bloem, Roderick and Braak ter, Timon and Devadze, Sergeij and Fey, Görschwin and Jenihhin, Maksim and Jutman, Artur and Kerkhoff, Hans G. and Könighofer, Robert and Malburg, Jan and Moran, Shiri and Raik, Jaan and Rauwerda, Gerard and Riener, Heinz and Röck, Franz and Shibin, Konstantin and Sunesen, Kim and Wan, Jinbo and Zhao, Yong (2016) Designing Reliable Cyber-Physical Systems. In: Forum on Specification and Design Languages. Forum on specification & Design Languages (FDL) 2016, 14.-16. Sept. 2016, Bremen, Deutschland. ISBN 9791092279177.

[img] PDF - Only accessible within DLR
2MB

Item URL in elib:https://elib.dlr.de/105923/
Document Type:Conference or Workshop Item (Speech)
Title:Designing Reliable Cyber-Physical Systems
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Aleksandrowicz, GadiUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Arbel, EliUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Bloem, RoderickUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Braak ter, TimonUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Devadze, SergeijUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Jenihhin, MaksimUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Jutman, ArturUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Kerkhoff, Hans G.UNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Könighofer, RobertUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Malburg, JanUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Moran, ShiriUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Raik, JaanUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Rauwerda, GerardUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Riener, HeinzUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Röck, FranzUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Shibin, KonstantinUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Sunesen, Kimrecore systemsUNSPECIFIEDUNSPECIFIED
Wan, JinboUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Zhao, YongUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Date:2016
Journal or Publication Title:Forum on Specification and Design Languages
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
ISBN:9791092279177
Status:Published
Keywords:Electronic Design Automation, Cyber Physical Systems, Reliability, Formal Methods
Event Title:Forum on specification & Design Languages (FDL) 2016
Event Location:Bremen, Deutschland
Event Type:international Conference
Event Dates:14.-16. Sept. 2016
Organizer:Electronic Chips & Systems Design Initiative
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:32
Last Modified:20 Jun 2021 15:47

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.