About
Log in
Log in?
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
DTU Findit
DTU
Close advanced
{{problem}}
By field
Using AND/OR
By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}:
(
)
Author:
Vu Hong
remove
Interpreted as:
title:(Formal AND Development AND and AND Verification AND of AND Railway AND Control AND Systems)
Suggestions: Include records that partially match the query
Previous
1
-
2
of
2
Next
1
Conference paper
Formal Development and Verification of Railway Control Systems
can be combined and used for an efficient development and verification of new fail-safe systems. The expected result is a methodology for using domain-specific, formal languages, techniques and tools for more efficient development and verification of robust software for railway control systems
Year: 2013
Language: English
2
Conference paper
Formal Development and Verification of Safe Railway Control Systems
Year: 2013
Language: English
