Litcius/Paper detail

Building information modeling (BIM)-based model checking to ensure occupant safety in institutional buildings

Mohammadsaeid Parsamehr, Tharindu C. Dodanwala, Piyaruwan Perera, Rajeev Ruparathna

2023Innovative Infrastructure Solutions19 citationsDOI

Topics & Concepts

Building information modelingSet (abstract data type)EngineeringConstruction engineeringArchitectural engineeringBuilding designBuilding codeInformation modelBuilt environmentTransport engineeringComputer scienceRisk analysis (engineering)Civil engineeringSoftware engineeringBusinessOperations managementScheduling (production processes)Programming languageBIM and Construction IntegrationOccupational Health and Safety ResearchInfrastructure Maintenance and Monitoring
Building information modeling (BIM)-based model checking to ensure occupant safety in institutional buildings | Litcius