Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line

  • L. Chen
  • , P. James
  • , D. Kirkwood
  • , Hoang Nga Nguyen
  • , G. L. Nicholson
  • , M. Roggenbach

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    5 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line'. Together they form a unique fingerprint.

    Computer Science