Sign in

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

Andrew SimpsonJaco 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