Introduction: ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14) at SAFECOMP 2014 A European Approach to Critical Systems Engineering

被引：0

作者：

Schoitsch, Erwin ^{[1
]}

Skavhaug, Amund ^{[2
]}

机构：

[1] AIT Austrian Inst Technol GmbH, Vienna, Austria

[2] NTNU, Trondheim, Norway

来源：

COMPUTER SAFETY, RELIABILITY, AND SECURITY | 2014年 / 8696卷

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：80 / 83

页数：4

共 12 条

[1] 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) European Research and Innovation Projects in the Field of Dependable Cyber-Physical Systems and Systems-of-Systems
Schoitsch, Erwin
Skavhaug, Amund
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11699 : 42 - 48
[2] DECSoS 2016: The 11th ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems European Research and Innovation Initiatives in the Area of Cyber-Physical Systems and Systems-of-Systems
Schoitsch, Erwin
Skavhaug, Amund
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 100 - 104
[3] Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012
Schoitsch, Erwin
Skavhaug, Amund
[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7613 LNCS : 343 - 346
[4] ERCIM/EWICS/DECOS dependable Cyber-physical Systems Workshop at SAFECOMP 2011
Schoitsch, Erwin
Skavhaug, Amund
[J]. ERCIM NEWS, 2012, (88): : 61 - 61
[5] 17th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2022) European Research and Innovation Projects in the Field of Dependable Cyber-Physical Systems and Systems-of-Systems (supported by EWICS TC7, ERCIM and Horizon2020/ECSEL JU projects' work)
Schoitsch, Erwin
Skavhaug, Amund
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2022 WORKSHOPS, 2022, 13415 : 2 - 10
[6] Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14)
Brancati, Francesco
Laranjeiro, Nuno
Hegedues, Abel
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 192 - 194
[7] 18th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)
Schoitsch, Erwin
Skavhaug, Amund
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 40 - 46
[8] 14th ERCIM Formal Methods for Industrial Critical Systems Workshop
Alpuente, Maria
Cook, Byron
Joubert, Christophe
[J]. ERCIM NEWS, 2010, (80): : 6 - 6
[9] Introduction to Embedded Systems Course: An Engineering Design Approach
Ali, M. A.
Waqar, O.
Afridi, S.
Ali, N.
[J]. INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 2022, 38 (01) : 101 - 109
[10] Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11–12, 1999—Selected Papers
Stefania Gnesi
Diego Latella
[J]. Formal Methods in System Design, 2001, 19 : 119 - 120

← 1 2 →