Разработка методов синтеза тестов для проверки функциональных требований для дискретных систем на основе временных автоматов: магистерская диссертация по направлению подготовки: 03.04.03 - Радиофизика
Радиофизический факультет
Разработка методов синтеза тестов для проверки функциональных требований для дискретных систем на основе временных автоматов: магистерская диссертация по направлению подготовки: 03.04.03 - Радиофизика