篇名 A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems
簡稱 IEEE Transportation On Intelligent Transportation Systems
作者 Xiaohong Chen , Zhi Jin , Min Zhang ,Frédéric Mallet , Xiaoshan Liu, and Tingliang Zhou
卷期 V25 N8
頁次 8375
年份 2024
月份 8
查看次數: 30