• Analýza systému TCAS 

      Autor: Berka Zdeněk; Vedoucí práce: Selecký Martin; Oponent práce: Hromčík Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-12)
      Práce se soustředí na analýzu palubního protisrážkového systému TCAS. Popisuje implementaci parametrizovaného modelu reakcí pilota, TCAS mechanismu a metody použité k ověření funkčnosti protisrážkového systému. Dále je ...