https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378804 Wed 31 May 2017 09:52:50 KRAT ]]> Применение модели расширенного автомата для обучения алгоритму поиска фиктивных переменных булевой функции https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000924628 Wed 07 Dec 2022 13:08:25 KRAT ]]> Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001000555 Wed 03 May 2023 15:09:17 KRAT ]]> К построению параллельной композиции расширенных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651166 Wed 03 Apr 2019 15:00:02 KRAT ]]> К разработке модуля решения задач обучающей системы по курсу "Аналитическая геометрия" https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651187 Wed 03 Apr 2019 14:59:53 KRAT ]]> Тестирование JAVA программ с использованием инструмента FSMTest2JUnit https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651175 Wed 03 Apr 2019 14:59:52 KRAT ]]> Проверка свойства реактивности в Dart-реализации SMTP-клиента https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926979 Tue 24 Jan 2023 10:06:18 KRAT ]]> Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926977 Tue 24 Jan 2023 10:06:16 KRAT ]]> К построению параллельной композиции расширенных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000666989 Tue 22 Oct 2019 12:17:57 KRAT ]]> Синтез и оптимизация цифровых схем : учебно-методическое пособие. Ч. 1 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483279 Tue 21 Mar 2017 10:40:01 KRAT ]]> Синтез и оптимизация цифровых схем : учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика. Ч. 3 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000649180 Thu 04 Jul 2019 16:59:51 KRAT ]]> К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000791939 Sat 23 Jan 2021 11:09:46 KRAT ]]> Тестирование DART-реализации клиентской части протокола POP3 https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000847383 Sat 05 Mar 2022 10:10:53 KRAT ]]> Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378824 Mon 29 May 2017 12:36:30 KRAT ]]> Разработка электронного учебно-методического пособия по курсу "Дискретная математика" в системе дистанционного обучения MOODLE https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621049 Mon 26 Feb 2018 17:25:41 KRAT ]]> Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473318 Mon 18 Sep 2017 14:00:14 KRAT ]]> Создание графического интерфейса к программе кодогенерации "Искусственный программист" https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621234 Mon 05 Mar 2018 10:11:53 KRAT ]]> Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000449658 Mon 02 Sep 2019 11:11:30 KRAT ]]> Дискретная математика : электронное учебное пособие https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243500 Fri 27 Mar 2020 16:46:03 KRAT ]]> Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой международной конференции, 7-9 сентября 2020 г https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000724158 Fri 25 Sep 2020 12:38:19 KRAT ]]> Синтез и оптимизация цифровых схем : учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика. Ч. 2 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000627838 Fri 25 May 2018 12:11:24 KRAT ]]> К разработке программы кодогенерации «Искусственный программист» https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483239 Fri 02 Jun 2017 11:00:05 KRAT ]]>