Formální ověřování softwaru bezpilotních letounů zahrnuje matematické dokazování bezpečnostních vlastností podle leteckých standardů DO-178C a DO-333, využívá model checking, důkazové…
Číst
Formální ověřování bezpečnosti kritického řídicího softwaru UAV
Formální ověřování bezpečnosti řídicího softwaru UAV využívá matematické metody k zajištění splnění bezpečnostních požadavků podle standardů DO-178C/DO-333 a dalších, s…
Číst
