Blar i Institutt for maskinteknikk og produksjon på tidsskrift "WIT Transactions on the Built Environment"
Viser treff 1-2 av 2
-
Research directions regarding the adoption of formal methods in the railway signaling sector: determinants and next steps for future-proof railways
(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 ... -
Towards mobile and intelligent railway transport: a review of recent ERTMS related research
(Journal article; Peer reviewed, 2020)The development of the European Railway Traffic Management System (ERTMS) throughout Europe over the last two decades to remove obstacles to providing an interoperable railway network has been facing several challenges. ...