Результаты поиска - "ВЕРИФИКАЦИЯ"

Методика верификационной отладки алгоритмов, заданных функциональными схемами / Н. А. Абрамова, А. А. Амбарцумян, С. В. Коврига, Э. Е. Рубцова. - Препр. - М. : ИПУ, 1990. - 51, [1] с.

Предмет: '; “...Алгоритмы - Верификация...”

Верификация прогнозов: Обзор / В.Ф.Медведев, Т.О.Ляднова. - Минск, 1989. - 68, [1] с., включ. обл. - (Серия 06.75.13, Управление, планирование, программирование и прогнозирование отраслей народного хозяйства)

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Логический язык программирования как инструмент спецификации и верификации динамической памяти: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Хаберланд Рене. - Санкт-Петербург, 2020. - 16 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Логические методы и инструментальные средства верификации офисных процедур: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.13.12 / Моск. гос. горн. ун-т. - М., 1995. - 21 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Теория и практика верификации словарных данных на основе источников: автореферат диссертации на соискание ученой степени доктора филологических наук: специальности 10.02.01 Русский язык, 10.02.19 Теория языка / Шаповал Виктор Васильевич. - Москва, 2016. - 40 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Генерация управляющих автоматов на основе генетического программирования и верификации: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Егоров Кирилл Викторович. - Санкт-Петербург, 2013. - 16 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Метод и машина логического вывода для формальной верификации параллельных алгоритмов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, 05.13.15 Вычислительные машины, комплексы и компьютерные сети / Чистяков Геннадий Андреевич. - Санкт-Петербург, 2014. - 22 с.

Предмет: '; “...ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ...”

Метод и машина логического вывода для формальной верификации параллельных алгоритмов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, 05.13.15 Вычислительные машины, комплексы и компьютерные сети / Чистяков Геннадий Андреевич. - Санкт-Петербург, 2015. - 22 с.

Предмет: '; “...ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ...”

Разработка методики использования широких фонетических категорий в задачах верификации диктора: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.17 / Милошенко Алексей Анатольевич. - Москва, 2010. - 23 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Построение и верификация модели нестационарного теплового воздействия на контур волоконно-оптического гироскопа с целью минимизации его теплового дрейфа: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 01.02.06 Динамика, прочность машин, приборов и аппаратуры / Есипенко Иван Александрович. - Санкт-Петербург, 2017. - 23 с., включая обложку

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Динамическая верификация процесс-ориентированных программ управления киберфизическими системами: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Лях Татьяна Викторовна. - Новосибирск, 2020. - 20 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Модели и методы тестирования программных систем на основе алгебраического подхода: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.01 Системный анализ, управление и обработка информации / Вигура Антон Николаевич. - Нижний Новгород, 2013. - 23, [1] с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Оценка соответствия. Общие принципы и требования к органам по валидации и верификации: ГОСТ Р ИСО/МЭК 17029―2022 (ISO/IEC 17029:2019, IDT). - Минск : Госстандарт, Белорусский государственный институт стандартизации и сертификации, 2022. - V, 25, [1] с., включая обложку. - (Государственный стандарт Республики Беларусь)

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Разработка и верификация расчетного кода для анализа аварий, связанных с перемешиванием теплоносителя с разной концентрацией борной кислоты в проточном тракте реатора ВВЭР-1000: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.14.03 / Петросян Артем Валерикович. - Электрогорск, 2005. - 21 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Верификация C-программ с помощью смешанной аксиоматической семантики: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Марьясов Илья Владимирович. - Новосибирск, 2012. - 17 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Дубцов Роман Сергеевич. - Новосибирск, 2008. - 18 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Разработка моделей и методов верификации и анализа документов в электронном архиве энергетических объектов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.12 Системы автоматизации проектирования / Харин Максим Алексеевич. - Иваново, 2013. - 19, [1] с., включая обложку

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Булычёв Пётр Евгеньевич. - Москва, 2010. - 28 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Технология верификации управленческой информации в деловой коммуникации: автореферат диссертации на соискание ученой степени кандидата социологических наук: специальность 22.00.08 Социология управления / Лобанова Елена Николаевна. - Москва, 2013. - 23, [1] с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Встречное тестирование высокопроизводительных микропроцессоров: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Чибисов Петр Александрович. - Москва, 2013. - 23 с.

Предмет: '; “...ВЕРИФИКАЦИЯ...”

Уточнение результатов поиска