| DC Field | Value | Language |
|---|
| dc.contributor.author | Черемисинова, Л. Д. | - |
| dc.contributor.author | Черемисинов, Д. И. | - |
| dc.date.accessioned | 2021-12-01T07:53:48Z | - |
| dc.date.available | 2021-12-01T07:53:48Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.citation | Черемисинова, Л. Д. Тестовая система для функциональной верификации дискретных устройств с параллелизмом поведения / Л. Д. Черемисинова, Д. И. Черемисинов // Информационные технологии и системы 2021 (ИТС 2021) = Information Teсhnologies and Systems 2021 (ITS 2021) : материалы международной научной конференции, Минск, 24 ноября 2021 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин [и др.]. – Минск, 2021. – С. 55–56. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/46081 | - |
| dc.description.abstract | Рассматривается задача, возникающая при моделировании аппаратных реализаций дискретных систем с параллелизмом поведения. Предлагается метод построения тестовой системы для генерации модельных тестов на основе спецификации на проектирование. В основе метода лежит построение TLM моделей описаний на языке параллельных алгоритмов управления. | 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.title | Тестовая система для функциональной верификации дискретных устройств с параллелизмом поведения | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2021
|
