Napredno

 
  Išči
    Enostavno iskanje


Rezultati

6 rezultatov
1 - 6 / 6
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
1. Generalizing treshold automata for reachability in parameterized systems
Jure Kukovec, 2016, magistrsko delo

Ključne besede: treshold automata, fault tolerant distributed algorithms, model checking
Celotno besedilo (datoteka, 398,82 KB)

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

Ključne besede: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checking
Celotno besedilo (datoteka, 2,41 MB)

3. Automated BIM QA/QC procedures with practical application
Julio Joaquin Salaberri Martin, 2022, magistrsko delo

Ključne besede: civil engineering, master thesis, BIM, data quality, information quality, QA/QC, rule-based checking, automated checking, IFC, model checking, Revit
Celotno besedilo (datoteka, 3,35 MB)

4. Automated code compliance checks with BIM
Vicente Mediano Corona, 2023, magistrsko delo

Ključne besede: civil engineering, master thesis, BIM, Building information modelling, compliance checks, rule checking, automation, visual programming
Celotno besedilo (datoteka, 10,23 MB)

5. Automated BIM-based model checking workflows with exchange information requirements
Mohamed Omar, 2023, magistrsko delo

Ključne besede: civil engineering, master thesis, BIM, openBIM, compliance, checking, BMC, IDS
Celotno besedilo (datoteka, 10,90 MB)

6. Automation possibilities of requirements checking for digital building permits issuing when introducing IFC standard
Anshika Karn, 2024, magistrsko delo

Ključne besede: master thesis, civil engineering, building permit, compliance, checking
Celotno besedilo (datoteka, 7,05 MB)
Iskanje izvedeno v 0.06 sek.
Na vrh