Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Статьи- результаты поиска

Вид поиска
Книги
Статьи
Полные тексты изданий ПГТУ
Периодика
Авторефераты и диссертации
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Верификация топологии ИС(система ОТ_ТО)<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Статья из журнала
Шифр издания : 004.2
Заглавие : Тестирование, верификация и валидация программ : Тем.вып.
Место публикации : Программирование. - 2008. - N 6
УДК : 004.2
Ключевые слова (''Своб.индексиров.''): тестовые программы(разработка)--верификация топологии ис(система от_то)
Экземпляры :чзN2(1)
Свободны : чзN2(1)
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания : 681.3(075.8)
Заглавие : Верификация цифровых систем на базе программируемых логических интегральных схем, выполняющих функции безопасности в критических приложениях[Текст]
Место публикации : Успехи современной радиоэлектроники. - 2005. - N10. - С. .59-76.-Библиогр.: 30назв.
УДК : 681.3(075.8)
Ключевые слова (''Своб.индексиров.''): плис(применение)--верификация топологии ис(система от_то)--информационно-управляющие системы
Экземпляры :ЧЗ N2(1)
Свободны : ЧЗ N2(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 31.07.2024
Число запросов 12056
Число посетителей 295
Число заказов 0
© 2006-2022 Поволжский государственный технологический университет, ФГБОУ ВО «ПГТУ».