A Probabilistic Model for AVCs longitudinal Collision/ Safety Analysis.

H.-S. Jacob Tsao Randolph W. Hall

Published in: J. Intell. Transp. Syst. (1994)

Keyphrases

safety analysis
probabilistic model
nuclear power plant
safety critical
control system
fault model
symbolic model checking
bayesian networks
formal methods
embedded systems
real valued
model checking
support systems
real time
reliability analysis
fault tolerant
software engineering
state space
knowledge base