A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems
IEEE Transactions on Intelligent Transportation Systems（2024）
Key words
Requirements engineering,formal methods,safety requirements,inconsistency detection,railway systems,Requirements engineering,formal methods,safety requirements,inconsistency detection,railway systems
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined