Ako formálne overiť kritický kód autopilota. Model checking, invariants a požiadavky DO-178C pre vyššiu dôveryhodnosť a certifikáciu.
Značka: DO-178C
Formálne overovanie UAV softvéru
Ako formálne overiť kritický kód autopilota. Model checking, invariants a požiadavky DO-178C pre vyššiu dôveryhodnosť a certifikáciu.