Webpages tagged with «software analysis»

Published Sep. 5, 2015 9:01 AM

The goal of the project is to design railway infrastructure with higher capacity and safety. By providing tool-assisted methods, the project contributes to reduce the Norwegian public spending for railway signalling designs. PhD thesis link (5,5 Mb).