Login / Signup
Automotive safety analysis of front bumper crash for low-speed collision.
Wenyu Ma
Jianwei Yang
Xuebin Zheng
Baochuan Wang
Yongqiang Zhang
Chunguang Li
Published in:
AIAM (ACM) (2021)
Keyphrases
</>
safety analysis
safety critical
nuclear power plant
symbolic model checking
fault tolerant
control system
formal methods
fault model
real time
agent architecture
artificial intelligence
cooperative
embedded systems