Login / Signup

Practical Verification of Railway Signalling Programs.

Alexei IliasovDominic TaylorLinas LaibinisAlexander B. Romanovsky
Published in: IEEE Trans. Dependable Secur. Comput. (2023)
Keyphrases
  • symbolic execution
  • real world
  • practical application
  • real time
  • database
  • learning algorithm
  • multiscale
  • quality of service
  • test generation
  • concurrent systems