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.
Interpreted as:
title:(Automatic AND Verification AND Validation AND and AND Test AND for AND Railway AND Control AND Systems AND based AND on AND Domain-Specific AND Descriptions)
Suggestions: Include records that partially match the query
Proceedings of the 10th Ifac Symposium on Control in Transportation Systems — 2003
Year: 2003
Language: English
Automatic Verification, Validation and Test for Railway Control Systems Based on Domain-Specific Descriptions 10.1016/S1474-6670(17)32426-6
Ifac Proceedings Volumes — 2003, Volume 36, Issue 14, pp. 239-244
Year: 2003
Language: English