Van Anh Thi Trinh

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Distributed Data

Top Venues

Publications

Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. ISoLA (3) (2020)