Čo je a nie je diskriminácia v práci, ako ju preukázať, aké máte nároky a aké preventívne kroky má mať firma zavedené.
Značka: dôkazy
Ako pripraviť SORA: identifikácia rizík, výber mitigácií a zostavenie dôkazov pre schválenie špecifickej prevádzky.
Ako formálne overiť kritický kód autopilota. Model checking, invariants a požiadavky DO-178C pre vyššiu dôveryhodnosť a certifikáciu.