Showing 1 - 9 results of 9 for search '"ВЕРИФИКАЦИИ"', query time: 0.04s Refine Results
  1. 1
    Реконструкция в компаративистике и когнитивно-ориентированной лингвистике
    Subjects: “...проблема верификации...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  2. 2
    Безопасность информационных технологий. Критерии оценки безопасности информационных технологий: руководящий документ, введен в действие Приказом Гостехкомиссии России от 19.06.2002 г. № 187/
    Published 2002
    Subjects: “...ВЕРИФИКАЦИИ...”
    Перейти в каталог Библиотеки ТУСУР
    Book
  3. 3
    Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset
    Subjects: “...AstraVer Toolset, система дедуктивной верификации...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  4. 4
    Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 - Радиофизика
    Subjects: “...ABC, система синтеза и верификации цифровых схем...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    Верификация программного обеспечения учебное пособие
    Subjects: “...аудит процессов верификации...”
    Перейти в каталог НБ ТГУ
    Book
  6. 6
    Моделирование и верификация цифровых систем на языке VHDL [учебное пособие для студентов учреждения высшего образования по специальностям "Электронные вычислительные средства", "Вычислительные машины, системы и сети", "Программное обеспечение информационных технологий"]
    Subjects: “...Questa Sim, система моделирования и верификации проектов цифровых устройств...”
    Перейти в каталог НБ ТГУ
    Book
  7. 7
    Верификация моделей программ: Model Checking
    Subjects: “...SMV программа верификации моделей....”
    Перейти в каталог НБ ТГУ
    Book
  8. 8
    Станки с ЧПУ устройство, программирование, инструментальное обеспечение и оснастка : учебное пособие : [для студентов технических специальностей вузов]
    Published 2017
    Subjects: “...VeriCUT, специализированная система верификации...”
    Перейти в каталог НБ ТГУ
    Book
  9. 9
    Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием
    Published 2014
    Subjects: “...SAT, метод верификации моделей...”
    Перейти в каталог НБ ТГУ
    Book
Search Tools: Get RSS Feed