Материалов:
887 866

Репозиториев:
30

Авторов:
596 024

По вашему запросу найдено документов: 1167

Страница 1 из 117

Тестирование программного обеспечения : учебно-методический комплекс
Матросова, Анжела Юрьевна, Останин, Сергей Александрович
CTL-верификация
О верификации конечных параметризованных моделей распределенных программ
Булычев, П. Е.
верификация
Задачи верификации логических описаний комбинационных устройств
Черемисинова, Л. Д., Новиков, Д. Я.
верификация цифровых устройств
МОДЕЛИРОВАНИЕ АРИФМЕТИКИ В ЯЗЫКЕ ПЕРВОГО ПОРЯДКА, ОБОГАЩЕННОМ ТЕМПОРАЛЬНЫМИ КВАНТОРАМИ
Котикова, Е.А., Рыбаков, М.Н.
темпоральной логики CTL* . В качестве семантики для него предлагаются серийные шкалы Крипке с постоянными
Динамическая верификация баз знаний
Титенков, П. В.
Динамическая верификация баз знаний
Верификация прогностической способности математической модели принятия решений
Пушкарев, А. Н.
Верификация прогностической способности математической модели принятия решений
Верификация проектов СБИС : проблемы и решения
Золоторевич, Л. А.
Верификация проектов СБИС : проблемы и решения
Верификация и валидация баз знаний интеллектуальных систем
Титенков, П. В.
Верификация и валидация баз знаний интеллектуальных систем
Верификация качества ПО и автоматизированная система мониторинга результатов тестирования
Сторожев, Д. А.
Верификация качества ПО и автоматизированная система мониторинга результатов тестирования
Верификация автоматных VHDL-моделей взаимодействующих цифровых систем
Щепанский, В. Е.
Верификация автоматных VHDL-моделей взаимодействующих цифровых систем

Страница 1 из 117

Фасеты

Новости проекта

Новости

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core