Linh Vu Hong

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Equivalence Class

Query Evaluation

Distributed Systems

Top Venues

Sci. Comput. Program.

Publications

Linh Vu Hong, Anne E. Haxthausen, Jan Peleska
Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133 (2017)
Linh Vu Hong, Anne E. Haxthausen, Jan Peleska
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. FTSCS (2014)
Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. ICFEM (2014)