Linh Hong Vu

Linh Hong Vu

(Former)

Formal Development and Verification of Railway Control Systems

View graph of relations

View all »

  • Science of Computer Programming

    ISSNs: 0167-6423

    Additional searchable ISSN (Electronic): 1872-7964

    Elsevier BV, Netherlands

    BFI (2017): BFI-level 2, Scopus rating (2016): CiteScore 1.36 SJR 0.454 SNIP 1.271, ISI indexed (2013): ISI indexed yes, Web of Science (2017): Indexed Yes

    Central database

    Journal

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

ID: 10300677