Bernd Gaßmann, Frederik Pasch, Fabian Oboril, Kay-Ulrich Scholl. Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving Simulator. In António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira 0001, editors, Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. Volume 12235 of Lecture Notes in Computer Science, pages 358-369, Springer, 2020. [doi]
Abstract is missing.