使用目标结构化符号（GSN）的图形化安全保证案例——自主列车的挑战、机遇与框架

Graphical safety assurance case using Goal Structuring Notation (GSN) — challenges, opportunities and a framework for autonomous trains

• Mohammed Chelouati
• Abderraouf Boussif 通讯
• Julie Beugin
• El-Miloudi El Koursi