Sign in
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.
Xiaohong Chen
Zhiwei Zhong
Zhi Jin
Min Zhang
Tong Li
Xiang Chen
Tingliang Zhou
Published in:
RE (2019)
Keyphrases
</>
safety analysis
formal methods
intelligent vehicles
safety critical
data sets
intelligent systems
learning systems
complex systems
user requirements
expert systems
functional requirements
real time systems
traffic management
learning algorithm
databases
multimodal biometrics
real time