Safety Analysis of RCUT Intersection.

Xiaoduan Sun M. Ashifur Rahman Ming Sun

Published in: MT-ITS (2019)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
model checking
fault tolerant
formal methods
real time
formal verification
reliability analysis
neural network
recommender systems
fuzzy logic
distributed systems