Login / Signup
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems.
Xiaohong Chen
Zhi Jin
Min Zhang
Frédéric Mallet
Xiaoshan Liu
Tingliang Zhou
Published in:
IEEE Trans. Intell. Transp. Syst. (2024)
Keyphrases
</>
intelligent systems
learning systems
distributed systems
automatic detection
real time systems
safety critical
expert systems
software development
complex systems
user requirements
design criteria
safety analysis