https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Тестирование безопасности программного обеспечения с использованием верификаторов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472833 Tue 19 Sep 2017 12:17:13 KRAT ]]> Аналитическая верификация моделей седиментации, основанных на методе дискретных элементов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000451920 Tue 12 Sep 2017 14:23:15 KRAT ]]> Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000899242 Thu 22 Sep 2022 09:25:40 KRAT ]]> Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473301 Thu 21 Sep 2017 13:10:26 KRAT ]]> Метод структурно-графического анализа и верификации интеллектуальной имитационной модели https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000709104 Thu 14 May 2020 09:08:09 KRAT ]]> Проблемы верификации конституционных норм https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000502029 Thu 07 Sep 2017 16:33:07 KRAT ]]> О верификации собственноручной подписи https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000582219 Thu 05 Oct 2017 14:27:31 KRAT ]]> Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524767 Mon 30 Sep 2019 13:27:18 KRAT ]]> О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000719741 Mon 25 Oct 2021 08:55:01 KRAT ]]> Микроанализ как метод верификации макроисторической концепции: возможности применения https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000722035 Mon 22 Jun 2020 09:31:02 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/vtls:000587154 Mon 21 Oct 2019 11:08:12 KRAT ]]> Метафизика факта Дональда Маккиннона и проблемы верификационизма https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001004997 Mon 18 Sep 2023 10:12:20 KRAT ]]> "Открытая текстура" языка, смутность и принцип контекстности https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000632748 Mon 01 Oct 2018 13:19:15 KRAT ]]> Еще раз о "новом" синтезе в исторической науке https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000456712 Fri 15 Sep 2017 16:07:15 KRAT ]]> Способ прогнозирования зон обледенения воздушных судов на основе радиометрических измерений параметров атмосферы https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000893582 Fri 13 May 2022 09:40:27 KRAT ]]> Проверка схемной реализации частичных булевых функций https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565696 Fri 04 Jun 2021 10:16:13 KRAT ]]>