Browsing Fakultet for ingeniørvitenskap (IV) by Journals "WIT Transactions on the Built Environment"
Now showing items 1-3 of 3
-
“Building permits” as proof of concepts in merging GIS and BIM information: a case study
(Journal article; Peer reviewed, 2017)The information content in a Building Permit Application includes a BIM part (documentation of selected parts of a planned building) and a GIS part (its consequences for the neighbours and impact for neighbourhood/society). ... -
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. ...