A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems
IEEE Transactions on Intelligent Transportation Systems（2024）
关键词
Requirements engineering,formal methods,safety requirements,inconsistency detection,railway systems,Requirements engineering,formal methods,safety requirements,inconsistency detection,railway systems
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要