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:(A AND Domain-oriented AND Model-based AND Approach AND for AND Construction AND and AND Verification AND of AND Railway AND Control AND Systems)
Suggestions: Include records that partially match the query
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems 10.1007/978-3-540-75221-9_14
Formal Methods and Hybrid Real-time Systems — 2007, pp. 320-348
Year: 2007
Language: English
A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems
Formal Methods and Hybrid Real-time Systems — 2007, pp. 320-348
Year: 2007
Language: English