https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927128 Wed 25 Jan 2023 09:33:14 KRAT ]]> Реализация и тестирование системы сигнализации на базе микроконтроллера STM32F407VG https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000617432 Wed 20 Dec 2017 09:20:48 KRAT ]]> Реализация, верификация и тестирование управляющих систем на базе микроконтроллеров с использованием временных автоматов: магистерская диссертация по направлению подготовки: 03.04.03 - Радиофизика https://vital.lib.tsu.ru/vital/access/manager/Repository/vital:2626 Wed 19 Apr 2017 18:21:25 KRAT ]]> Сравнение производительности различных реализаций самообучающихся моделей на примере задачи классификации https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651172 Wed 03 Apr 2019 15:00:04 KRAT ]]> Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем : диссертация на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000563955 Tue 17 May 2022 09:06:35 KRAT ]]> Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000563925 Tue 11 May 2021 16:21:48 KRAT ]]> О возможностях автоматного описания параллельной композиции временных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000667709 Tue 05 Nov 2019 15:46:33 KRAT ]]> Синтез и оптимизация цифровых схем : учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика. Ч. 3 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000649180 Thu 04 Jul 2019 16:59:51 KRAT ]]> Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524767 Mon 30 Sep 2019 13:27:18 KRAT ]]> Синтез тестов для цифровых систем на высоком и низком уровнях абстракции https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000661796 Mon 23 Sep 2019 11:26:30 KRAT ]]> Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000635267 Mon 21 Oct 2019 12:16:58 KRAT ]]> Использование временных автоматов при тестировании киберфизических систем https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001142248 Mon 19 Aug 2024 13:42:01 KRAT ]]> Использование логических схем в задачах анализа и синтеза компонентов телекоммуникационных систем: научный доклад по направлению подготовки: 09.06.01 - Информатика и вычислительная техника https://vital.lib.tsu.ru/vital/access/manager/Repository/vital:11481 Mon 15 Jun 2020 11:50:58 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:000793165 Fri 12 Feb 2021 09:55:09 KRAT ]]>