Browsing NTNU Open by Author "Rizopoulos, DIMITRIOS"
Now showing items 1-1 of 1
-
Research directions regarding the adoption of formal methods in the railway signaling sector: determinants and next steps for future-proof railways
Rizopoulos, DIMITRIOS; Olsson, Nils; Lindahl, Anders; Lindfeldt, Olov (Journal article; Peer reviewed, 2020)The terms Formal Methods (FMs) refer to a set of techniques and software toolkits that, based on mathematical rigor, can enhance safety, security, and the efficient operation of a wide range of systems. Considering that ...