Advanced

 
  Search
    Simple search


Results

6 results
1 - 6 / 6
First pagePrevious page1Next pageLast page
1. Generalizing treshold automata for reachability in parameterized systems
Jure Kukovec, 2016, master's thesis

Keywords: treshold automata, fault tolerant distributed algorithms, model checking
Full text (file, 398,82 KB)

2. Meta-analysis of type theories with an application to the design of formal proofs
Anja Petković Komel, 2021, doctoral dissertation

Keywords: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checking
Full text (file, 2,41 MB)

3. Automated BIM QA/QC procedures with practical application
Julio Joaquin Salaberri Martin, 2022, master's thesis

Keywords: civil engineering, master thesis, BIM, data quality, information quality, QA/QC, rule-based checking, automated checking, IFC, model checking, Revit
Full text (file, 3,35 MB)

4. Automated code compliance checks with BIM
Vicente Mediano Corona, 2023, master's thesis

Keywords: civil engineering, master thesis, BIM, Building information modelling, compliance checks, rule checking, automation, visual programming
Full text (file, 10,23 MB)

5. Automated BIM-based model checking workflows with exchange information requirements
Mohamed Omar, 2023, master's thesis

Keywords: civil engineering, master thesis, BIM, openBIM, compliance, checking, BMC, IDS
Full text (file, 10,90 MB)

6. Automation possibilities of requirements checking for digital building permits issuing when introducing IFC standard
Anshika Karn, 2024, master's thesis

Keywords: master thesis, civil engineering, building permit, compliance, checking
Full text (file, 7,05 MB)
Search done in 0.11 sec.
Back to top