Login / Signup
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B.
Mathieu Comptier
David Déharbe
Julien Molinero Perez
Louis Mussat
Pierre Thibaut
Denis Sabatier
Published in:
RSSRail (2017)
Keyphrases
</>
safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
neural network
artificial intelligence
model checking
real time
expert systems
fuzzy logic
markov decision processes
reliability analysis
partial observability