• Bezpečnostní analýza ve vývoji vojenských letounů založená na STAMP 

      Autor: Guanbao Gao; Vedoucí práce: Lališ Andrej; Oponent práce: Sekerešová Zuzana
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-09-02)
      S rostoucí komplexitou systému se zvyšuje i riziko vzniku nečekaných poruch vedoucí k nebezpečí. Aby byl nový systém dostatečně bezpečný, dělají se na něj bezpečnostní a spolehlivostní analýzy, které ověří bezpečnost nově ...