Материалов:
1 081 645

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

Авторов:
761 409

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

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

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

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

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core