Анализ покрытия конечно-автоматных методов в тестировании реализаций криптографических протоколов: магистерская диссертация по направлению подготовки: 02.04.02 - Фундаментальная информатика и информационные технологии
Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Анализ покрытия конечно-автоматных методов в тестировании реализаций криптографических протоколов: магистерская диссертация по направлению подготовки: 02.04.02 - Фундаментальная информатика и информационные технологии