| DC Field | Value | Language |
|---|
| dc.contributor.author | Золоторевич, Л. А. | - |
| dc.date.accessioned | 2014-10-10T08:55:48Z | - |
| dc.date.accessioned | 2017-07-19T09:29:18Z | - |
| dc.date.available | 2014-10-10T08:55:48Z | - |
| dc.date.available | 2017-07-19T09:29:18Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.citation | Золоторевич, Л. А. Верификация проектов СБИС : проблемы и решения / Л. А. Золоторевич // Международная научно-техническая конференция, приуроченная к 50-летию МРТИ-БГУИР : материалы конференции, Минск, 18–19 марта 2014 г. : в 2 ч. / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: А. Н. Осипов [и др.]. – Минск, 2014. – Ч. 1. – C. 475–476. | ru_RU |
| dc.identifier.isbn | 978-985-543-037-8 | - |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/1061 | - |
| dc.description.abstract | Дается анализ состояния проблемы верификации проектов СБИС. Рассматриваются вопросы построения тестов на основе функциональных и структурных моделей. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | верификация проектов СБИС | ru_RU |
| dc.subject | построение тестов | ru_RU |
| dc.subject | применение методики | ru_RU |
| dc.title | Верификация проектов СБИС : проблемы и решения | ru_RU |
| dc.type | Article | ru_RU |
| Appears in Collections: | Секция «Компьютерные системы и сети»
|
