Skip to main navigation Skip to search Skip to main content

Use of Nodel Transformation For The Formal Analysis Of Railway Interlocking Models

T. Xu, O. M. Santos, X. Ge, J. Woodcock

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

1   Link opens in a new tab Citation (Scopus)

Fingerprint

Dive into the research topics of 'Use of Nodel Transformation For The Formal Analysis Of Railway Interlocking Models'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science