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 - Registered users only
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 AuthorsAuthors ORCID iD
Aleksandrowicz, GadiUNSPECIFIEDUNSPECIFIED
Arbel, EliUNSPECIFIEDUNSPECIFIED
Bloem, RoderickUNSPECIFIEDUNSPECIFIED
Braak ter, TimonUNSPECIFIEDUNSPECIFIED
Devadze, SergeijUNSPECIFIEDUNSPECIFIED
Fey, GörschwinUNSPECIFIEDUNSPECIFIED
Jenihhin, MaksimUNSPECIFIEDUNSPECIFIED
Jutman, ArturUNSPECIFIEDUNSPECIFIED
Kerkhoff, Hans G.UNSPECIFIEDUNSPECIFIED
Könighofer, RobertUNSPECIFIEDUNSPECIFIED
Malburg, JanUNSPECIFIEDUNSPECIFIED
Moran, ShiriUNSPECIFIEDUNSPECIFIED
Raik, JaanUNSPECIFIEDUNSPECIFIED
Rauwerda, GerardUNSPECIFIEDUNSPECIFIED
Riener, HeinzUNSPECIFIEDUNSPECIFIED
Röck, FranzUNSPECIFIEDUNSPECIFIED
Shibin, KonstantinUNSPECIFIEDUNSPECIFIED
Sunesen, Kimrecore systemsUNSPECIFIED
Wan, JinboUNSPECIFIEDUNSPECIFIED
Zhao, YongUNSPECIFIEDUNSPECIFIED
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 Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Small Sat Kleinsatelliten (old), R - Systemtechnologien
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:18 Oct 2017 10:27

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.