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:(Formal AND Software AND Techniques AND in AND Railway AND Systems)
Suggestions: Include records that partially match the query
Formal Software Techniques in Railway Systems
Proc. 9th Ifac Symposium on Control in Transportation Systems — 2000, pp. 1-12
Year: 2000
Language: English
Formal Software Techniques for Railway Systems 10.1016/S1474-6670(17)38131-4
Ifac Proceedings Volumes — 2000, Volume 33, Issue 9, pp. 101-108
Year: 2000
Language: English