• Formální reprezentace procesu kontroly kvality 

      Autor: Petr Jůza; Vedoucí práce: Macaš Martin; Oponent práce: Jirkovský Václav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-02)
      Inspekce kvality je nedílnou součástí výrobního procesu. Průmysl 4.0 přínáší nové výzvy v oblasti monitoringu kvality a jejího zlepšování. Vhodná formální reprezentace výrobních znalostí umožňuje zlepšení inspekce kvality, ...