FT4DAS: First International Workshop on Formal Techniques for Dependable Autonomous Systems
SASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems
DECSoS 2019: 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (PDF: 376KB)
STRIVE 2019: The 2nd International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms
WAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering
ASSURE 2019: 7th International Workshop on Assurance Cases for Software-intensive Systems (PDF: 33KB)
