A calculus of hazard for railway signalling.

Michael Ingleby David J. Mee

Published in: WIFT (1995)

Keyphrases

risk assessment
traffic management
formal language
tcp ip
automated theorem proving
automated deduction
neural network
database systems
search algorithm
computer algebra