8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019)

被引：0

作者：

Ruiz, Alejandra ^{[1
]}

de la Vara, Jose Luis ^{[2
]}

Favaro, John ^{[3
]}

Belmonte, Fabien ^{[4
]}

机构：

[1] TECNALIA, Derio, Bizkaia, Spain

[2] Univ Castilla La Mancha, Ciudad Real, Spain

[3] Intecs, Rome, Italy

[4] Alstom, St Ouen, France

来源：

COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019 | 2019年 / 11699卷

基金：

欧盟地平线“2020”;

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：149 / 151

页数：3

共 48 条

[21] 8th International symposium on delivery of functionality in complex food systems (DOF 2019)
Vicente, Antonio A.
Boland, Mike
Livney, Yoav D.
FOOD & FUNCTION, 2020, 11 (11) : 9316 - 9316
[22] 7th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2019)
Denney, Ewen
Habli, Ibrahim
Pai, Ganesh
Sljivo, Irfan
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11699 : 2 - 3
[23] Selected Papers from the First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012) Preface
Artho, Cyrille
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING, 2015, 103 : 1 - +
[24] SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems: Foreword
Huisman, Marieke
Aldrich, Jonathan
Barnett, Mike
Giannakopoulou, Dimitra
Leavens, Gary T.
Sharygina, Natasha
SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 2009,
[25] 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2010
Lect. Notes Comput. Sci., (1-251):
[26] Proceedings - 8th International Conference on Concrete Pavements: Innovations for Concrete Pavement: Technology Transfer for the Next Generation: Foreword
Delatte, N., 2005, Unavailable, United Kingdom (01):
[27] Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies Uppsala, Sweden, 29th April 2017 Preface
Groce, Alex
Leue, Stefan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (259):
[28] Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems Stockholm, Sweden, 16th July 2012 Preface
Silva, Josep
Tiezzi, Francesco
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (98):
[29] The 8th international workshop on performance modeling, evaluation, and optimization of ubiquitous computing and networked systems (PMEO-UCNS'09)
IPDPS 2009 - Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium, 2009,
[30] The 8th international conference on communications systems:: System level buffer size estimation on QOS demands
Luo, YG
Gu, JZ
ICCS 2002: 8TH INTERNATIONAL CONFERENCE ON COMMUNICATIONS SYSTEMS, VOLS 1 AND 2, PROCEEDINGS, 2002, : 988 - 994

← 1 2 3 4 5 →