1 - 2 / 2 1 |
1. Generalizing treshold automata for reachability in parameterized systems Jure Kukovec, 2016, master's thesis Keywords: treshold automata, fault tolerant distributed algorithms, model checking |
2. 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 |