Designing Reliable Cyber-Physical Systems

Aleksandrowicz, Gadi und Arbel, Eli und Bloem, Roderick und Braak ter, Timon und Devadze, Sergeij und Fey, Görschwin und Jenihhin, Maksim und Jutman, Artur und Kerkhoff, Hans G. und Könighofer, Robert und Malburg, Jan und Moran, Shiri und Raik, Jaan und Rauwerda, Gerard und Riener, Heinz und Röck, Franz und Shibin, Konstantin und Sunesen, Kim und Wan, Jinbo und 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.

PDF - Nur DLR-intern zugänglich
2MB

elib-URL des Eintrags:

https://elib.dlr.de/105923/

Dokumentart:

Konferenzbeitrag (Vortrag)

Titel:

Designing Reliable Cyber-Physical Systems

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Aleksandrowicz, Gadi	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Arbel, Eli	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Bloem, Roderick	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Braak ter, Timon	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Devadze, Sergeij	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Fey, Görschwin	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Jenihhin, Maksim	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Jutman, Artur	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Kerkhoff, Hans G.	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Könighofer, Robert	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Malburg, Jan	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Moran, Shiri	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Raik, Jaan	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Rauwerda, Gerard	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Riener, Heinz	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Röck, Franz	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Shibin, Konstantin	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Sunesen, Kim	recore systems	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Wan, Jinbo	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Zhao, Yong	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2016

Erschienen in:

Forum on Specification and Design Languages

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

In ISI Web of Science:

Nein

ISBN:

9791092279177

Status:

veröffentlicht

Stichwörter:

Electronic Design Automation, Cyber Physical Systems, Reliability, Formal Methods

Veranstaltungstitel:

Forum on specification & Design Languages (FDL) 2016

Veranstaltungsort:

Bremen, Deutschland

Veranstaltungsart:

internationale Konferenz

Veranstaltungsdatum:

14.-16. Sept. 2016

Veranstalter :

Electronic Chips & Systems Design Initiative

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Raumfahrt

HGF - Programmthema:

Technik für Raumfahrtsysteme

DLR - Schwerpunkt:

Raumfahrt

DLR - Forschungsgebiet:

R SY - Technik für Raumfahrtsysteme

DLR - Teilgebiet (Projekt, Vorhaben):

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

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Mörz, Martina

Hinterlegt am:

08 Sep 2016 09:32

Letzte Änderung:

20 Jun 2021 15:47

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags