共 50 条
- [41] Adaptation of the Domain Ontology for Different User Profiles: Application to Conformity Checking in Construction WEB INFORMATION SYSTEMS AND TECHNOLOGIES, 2010, 45 : 128 - +
- [43] SIMULATION OF AUTOMATED CONSTRUCTION USING WIRE ROBOTS 2016 WINTER SIMULATION CONFERENCE (WSC), 2016, : 3302 - 3313
- [44] Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 157 - +
- [45] Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques PROCEEDINGS 2024 IEEE/ACM WORKSHOP ON SOFTWARE ENGINEERING CHALLENGES IN FINANCIAL FIRMS, FINANSE 2024, 2024, : 19 - 20
- [47] Automated systems as a part of geotechnical monitoring in construction and operation of transport tunnels 15TH INTERNATIONAL SCIENTIFIC CONFERENCE UNDERGROUND URBANISATION AS A PREREQUISITE FOR SUSTAINABLE DEVELOPMENT, 2016, 165 : 448 - 454
- [49] Construction Method Models Using Context Aware Construction Requirements for Automated Schedule Generation COMPUTING IN CIVIL ENGINEERING 2017: SMART SAFETY, SUSTAINABILITY, AND RESILIENCE, 2017, : 60 - 67
- [50] Hybridization Domain Construction using Curvature Estimation HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 123 - 132