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 条
  • [1] SASSUR 2016: The 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems
    Ruiz, Alejandra
    Luis de la Vara, Jose
    Kelly, Tim
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 270 - 272
  • [2] 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)
    de la Vara, Jose Luis
    Gallina, Barbara
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 120 - 121
  • [3] 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)
    de la Vara, Jose Luis
    Ruiz, Alejandra
    Kung, Antonio
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2022 WORKSHOPS, 2022, 13415 : 142 - 144
  • [4] Safety-Critical Systems: The Next Generation INTRODUCTION
    Bloomfield, Robin
    Lala, Jay
    IEEE SECURITY & PRIVACY, 2013, 11 (04) : 11 - 13
  • [5] 8th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2023)
    Denney, Ewen
    Habli, Ibrahim
    Pai, Ganesh
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 2 - 3
  • [6] Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies Eindhoven, The Netherlands, 8th April 2016 Preface
    Gossler, Gregor
    Sokolsky, Oleg
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (224):
  • [7] Runtime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
    Hobbs, Kerianne L.
    Mote, Mark L.
    Abate, Matthew C. L.
    Coogan, Samuel D.
    Feron, Eric M.
    IEEE CONTROL SYSTEMS MAGAZINE, 2023, 43 (02): : 28 - 65
  • [8] 8th workshop on algorithmic approaches for transportation modeling, optimization, and systems
    Fischetti, Matteo
    Widmayer, Peter
    OpenAccess Series in Informatics, 2008, 9
  • [9] 8th International Workshop on Personalization Approaches in Learning Environments PALE 2018
    Kravcik, Milos
    Santos, Olga C.
    Boticario, Jesus G.
    Bielikova, Maria
    Horvath, Tomas
    Torre, Ilaria
    ARTIFICIAL INTELLIGENCE IN EDUCATION, PT II, 2018, 10948 : 558 - 560
  • [10] Proceedings of the 8th international workshop on Runtime and Operating Systems for supercomputers
    Iskra, Kamil
    Hoefler, Torsten
    Proceedings of the 8th International Workshop on Runtime and Operating Systems for Supercomputers, ROSS 2018 - In conjunction with HPDC 2018, 2018,
12345