Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya. A Case Study of Continuous Assurance Argument for Level 4 Automated Driving. In Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings. Volume 14988 of Lecture Notes in Computer Science, pages 150-165, Springer, 2024. [doi]
Abstract is missing.