| DC Field | Value | Language |
|---|
| dc.contributor.author | Черемисинова, Л. Д. | - |
| dc.contributor.author | Новиков, Д. Я. | - |
| dc.date.accessioned | 2017-10-18T13:03:56Z | - |
| dc.date.available | 2017-10-18T13:03:56Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.citation | Черемисинова, Л. Д. Задачи верификации логических описаний комбинационных устройств / Л. Д. Черемисинова, Д. Я. Новиков // Информационные технологии и системы 2013 (ИТС 2013) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 23 октября 2013 г. = Information Technologies and Systems 2013 (ITS 2013) : Proceeding of The International Conference, BSUIR, Minsk, 24th October 2013 / редкол.: Л. Ю. Шилин [и др.]. - Минск : БГУИР, 2013. – C. 178-179. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26816 | - |
| 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.subject | верификация | ru_RU |
| dc.subject | верификация комбинационных устройств | ru_RU |
| dc.title | Задачи верификации логических описаний комбинационных устройств | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2013
|
