СМІРНОВ, О.; КЛЕЙН, О.; ГЛУХЕНЬКИЙ, О.; ЛУТЮК, Л.; СЕМЕНЮК, Б. ВИЯВЛЕННЯ ВРАЗЛИВОСТЕЙ В ПРОГРАМНИХ МОДЕЛЯХ АПАРАТНИХ ЗАСОБІВ. ВИМІРЮВАЛЬНА ТА ОБЧИСЛЮВАЛЬНА ТЕХНІКА В ТЕХНОЛОГІЧНИХ ПРОЦЕСАХ 2024, 277-285.