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:(Applied AND Bounded AND Model AND Checking AND for AND Interlocking AND System AND Designs)
Suggestions: Include records that partially match the query
Applied Bounded Model Checking for Interlocking System Designs 10.1007/978-3-319-05032-4_16
Lecture Notes in Computer Science — 2014, pp. 205-220
Year: 2014
Language: English
Applied Bounded Model Checking for Interlocking System Designs
Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems — 2013, pp. 21-26
Year: 2013
Language: English