| Title: | Модель автоматизированной верификации компонентов машин обработки знаний |
| Authors: | Дюбина, Е. А. |
| Keywords: | материалы конференций;автоматизированная верификация;машины обработки знаний;OSTIS |
| Issue Date: | 2020 |
| Publisher: | БГУИР |
| Citation: | Дюбина, Е. А. Модель автоматизированной верификации компонентов машин обработки знаний / Дюбина Е. А. // Информационные технологии и управление : материалы 56-й научной конференции аспирантов, магистрантов и студентов, Минск, 21-24 апреля 2020 года / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин [и др.]. – Минск, 2020. – С. 11. |
| Abstract: | Рассматривается модель автоматизированной верификации компонентов машин обработки знаний, построенных по Технологии OSTIS. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/40450 |
| Appears in Collections: | Информационные технологии и управление : материалы 56-й научной конференции аспирантов, магистрантов и студентов (2020)
|
