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

    4 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