Sign in

Techniques for modelling and verifying railway interlockings.

Phillip JamesFaron MollerNguyen Hoang NgaMarkus RoggenbachSteve A. SchneiderHelen Treharne
Published in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
  • neural network
  • databases
  • genetic algorithm
  • computer vision
  • multiscale
  • preprocessing
  • model checking