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 Development AND and AND Verification AND of AND a AND Distributed AND Railway AND Control AND System)
Suggestions: Include records that partially match the query
Formal Development and Verification of a Distributed Railway Control System 10.1007/3-540-48118-4_32
Proceedings of Fm'99 — 1999, pp. 1546-1563
Year: 1999
Language: English
Formal development and verification of a distributed railway control system 10.1109/32.879808
Ieee Transaction on Software Engineering — 2000, Volume 26, Issue 8, pp. 687-701
Year: 2000
Language: English