Linh Vu Hong

According to our database¹, Linh Vu Hong authored at least 4 papers between 2014 and 2017.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2017

Formal modelling and verification of interlocking systems featuring sequential release.

[BibT_eX]

[DOI]

Linh Vu Hong

Anne E. Haxthausen

Jan Peleska

Sci. Comput. Program., 2017

2015

Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2.

[BibT_eX]

[DOI]

Linh Vu Hong

PhD thesis, 2015

2014

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.

[BibT_eX]

[DOI]

Linh Vu Hong

Anne E. Haxthausen

Jan Peleska

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Linh Vu Hong

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...