Now showing items 1-2 of 2

    • Návrh a řízení stroje na badminton 

      Author: Maslikiewicz Ondřej; Supervisor: Burget Pavel; Opponent: Matucha Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Verifikace programů pro PLC 

      Author: Maslikiewicz Ondřej; Supervisor: Burget Pavel; Opponent: Šebek Zdeněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-19)
      Tato práce se zabývá analýzou a kontrolou PLC programu. Její soucástí je nástroj pro automatické generování binárních rozhodovacích diagramu a stavových automatu pro promenné, které jsou použity v PLC programu. Hlavním ...