| 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 ч. Ч. 1. - Минск, 2014. - С. 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: | Секция «Компьютерные системы и сети»
|
