Search academic texts

Information × Registration Number 2113U001847, Article popup.category Thesis Title popup.author popup.publication 01-01-2013 popup.source_user Сумський державний університет popup.source http://essuir.sumdu.edu.ua/handle/123456789/44212 popup.publisher Сумский государственный университет Description Аппарат булева дифференциального исчисления предназначен для проверки существенных переменных и компонентов КС, включая и анализ существенности деструктивов – уязвимости и проникновения – для состояния киберсистемы. Рассматриваются методы взятия булевых производных по таблице истинности, дизъюнктивной форме или кубическому покрытию для создания условий активизации на входных переменных при синтезе тестов для проверки уязвимостей (проникновений). popup.nrat_date 2025-05-12 Close