Automated generation of formal safety conditions from railway interlocking tables.

Anne E. Haxthausen

Published in: Int. J. Softw. Tools Technol. Transf. (2014)

Keyphrases

semi automated
databases
database
automated analysis
data structure
data driven
fully automated
formal specification
generation process
real world
artificial neural networks
computer aided
formal model
ride comfort