On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings.

Andrew Simpson Jaco Jacobs

Published in: FTSCS (2013)

Keyphrases

cloud computing
consistency checking
cloud computing environment
learning algorithm
case study
traffic management
database
real time
neural network
website
virtual machine
cloud platform