Linh Hong Vu

  1. Completed

    Formal development and verification of railway control systems

    Vu, L. H., Haxthausen, A. E., Peleska, J., Hansen, M. R., Fantechi, A. & Larsen, P. G.

    01/11/201221/01/2016

    Project: PhD

Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word