Отображение 1 - 9 результаты of 9 для поиска '"ВЕРИФИКАЦИИ"', время запроса: 0.07сек. Отмена результатов
  1. 1
    Реконструкция в компаративистике и когнитивно-ориентированной лингвистике
    Предметы: “...проблема верификации...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  2. 2
    Безопасность информационных технологий. Критерии оценки безопасности информационных технологий: руководящий документ, введен в действие Приказом Гостехкомиссии России от 19.06.2002 г. № 187/
    Публикация 2002
    Предметы: “...ВЕРИФИКАЦИИ...”
    Перейти в каталог Библиотеки ТУСУР
    Книга
  3. 3
    Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset
    Предметы: “...AstraVer Toolset, система дедуктивной верификации...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  4. 4
    Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 - Радиофизика
    по Громов, Максим Леонидович
    Публикация 2018
    Предметы: “...ABC, система синтеза и верификации цифровых схем...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Верификация программного обеспечения учебное пособие
    Предметы: “...аудит процессов верификации...”
    Перейти в каталог НБ ТГУ
    Книга
  6. 6
    Моделирование и верификация цифровых систем на языке VHDL [учебное пособие для студентов учреждения высшего образования по специальностям "Электронные вычислительные средства", "Вычислительные машины, системы и сети", "Программное обеспечение информационных технологий"]
    по Бибило, Петр Николаевич
    Публикация 2017
    Предметы: “...Questa Sim, система моделирования и верификации проектов цифровых устройств...”
    Перейти в каталог НБ ТГУ
    Книга
  7. 7
    Верификация моделей программ: Model Checking
    по Кларк, Эдмунд М. младший
    Публикация 2002
    Предметы: “...SMV программа верификации моделей....”
    Перейти в каталог НБ ТГУ
    Книга
  8. 8
    Станки с ЧПУ устройство, программирование, инструментальное обеспечение и оснастка : учебное пособие : [для студентов технических специальностей вузов]
    Публикация 2017
    Предметы: “...VeriCUT, специализированная система верификации...”
    Перейти в каталог НБ ТГУ
    Книга
  9. 9
    Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием
    Публикация 2014
    Предметы: “...SAT, метод верификации моделей...”
    Перейти в каталог НБ ТГУ
    Книга
Инструменты поиска: RSS-поток