Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report.

ZhiWei Wu Jing Liu Xiang Chen

Published in: ASE (2019)

Keyphrases

safety critical
support systems
knowledge based systems
safety analysis
learning environment
embedded systems
cooperative
multi objective
management system
software engineering
computational intelligence
formal methods