Značka: invariants

Formálne overovanie bezpečnosti: Metódy zabezpečenia kritického riadiaceho softvéru UAV

6. mája 2025

Formálne overovanie UAV softvéru

5. marca 2023