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 proceedingConference proceedingpeer-review

    3 Citations (Scopus)

    Search results