• Scénáře pro ověření runway incursion na letišti Praha s využitím Safety-I 

      Autor: Aneta Komárková; Vedoucí práce: Stojić Slobodan; Oponent práce: Havel Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-09-09)
      Předmětem bakalářské práce je prozkoumání problematiky runway incursion a pomocí vhodné metody Safety-I vytvoření vlastního modelu pro určitý typ runway incurison, konkrétně nesprávné uvolnění vzletové a přistávací dráhy ...