Login / Signup

Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL.

Per Lange LaursenVan Anh Thi TrinhAnne E. Haxthausen
Published in: ISoLA (3) (2020)
Keyphrases