Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

С40Сиревич, Сиревич Євгенія Юхимівна.
    Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Харків. нац. ун-т радіоелектроніки. — Харків, 2007. — 20 с.

- Ключові слова:

верифікація, верификация ; генерація тестів, генерация тестов ; мови опису апаратури, МОА, языки описания аппаратуры, ЯОА ; розрізнюючі послідовності, различающие последовательности ; цифрові пристрої, ЦП, цифровые устройства, ЦУ

- Теми документа

  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
  • УДК // Системи автоматичної діагностики



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 1 Перейти на сайт