Please use this identifier to cite or link to this item:
https://libeldoc.bsuir.by/handle/123456789/1061
| Title: | Верификация проектов СБИС : проблемы и решения |
| Authors: | Золоторевич, Л. А. |
| Keywords: | материалы конференций;верификация проектов СБИС;построение тестов;применение методики |
| Issue Date: | 2014 |
| Publisher: | БГУИР |
| Citation: | Золоторевич, Л. А. Верификация проектов СБИС : проблемы и решения / Л. А. Золоторевич // Международная научно-техническая конференция, приуроченная к 50-летию МРТИ-БГУИР : материалы конференции, Минск, 18–19 марта 2014 г. : в 2 ч. / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: А. Н. Осипов [и др.]. – Минск, 2014. – Ч. 1. – C. 475–476. |
| Abstract: | Дается анализ состояния проблемы верификации проектов СБИС. Рассматриваются вопросы построения тестов на основе функциональных и структурных моделей. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/1061 |
| ISBN: | 978-985-543-037-8 |
| Appears in Collections: | Секция «Компьютерные системы и сети»
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
